文献
J-GLOBAL ID:200902185779299955
整理番号:93A0871310
A rewriting based method for the formal verification of microprocessors.
著者 (1件):
ALLEMAND M
(Univ. Provence, Marseille, FRA)
資料名:
IFIP Transactions A: Computer Science and Technology
(IFIP Transactions A: Computer Science and Technology)
巻:
32
ページ:
115-122
発行年:
1993年
JST資料番号:
W0457A
ISSN:
0926-5473
資料種別:
会議録 (C)
発行国:
オランダ (NLD)
言語:
英語 (EN)