文献
J-GLOBAL ID:200902166880089231
整理番号:93A0286455
Simulating Microprocessors from Formal Specifications.
著者 (2件):
HALL K M
(Univ. Idaho Lab. Applied Logic, ID)
,
WINDLEY P J
(Univ. Idaho Lab. Applied Logic, ID)
資料名:
IFIP Transactions A: Computer Science and Technology
(IFIP Transactions A: Computer Science and Technology)
巻:
20
ページ:
507-525
発行年:
1993年
JST資料番号:
W0457A
ISSN:
0926-5473
資料種別:
会議録 (C)
発行国:
オランダ (NLD)
言語:
英語 (EN)