文献

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)