文献
J-GLOBAL ID:201302234386290097
整理番号:13A1793868
BDD/ZDDの技術:簡単な歴史と最近の活動
Techniques of BDD/ZDD: Brief History and Recent Activity
著者 (1件):
MINATO Shin-ichi
(Graduate School of Information Sci. and Technol., Hokkaido Univ.)
資料名:
IEICE Transactions on Information and Systems (Institute of Electronics, Information and Communication Engineers)
(IEICE Transactions on Information and Systems (Institute of Electronics, Information and Communication Engineers))
巻:
E96-D
号:
7
ページ:
1419-1429 (J-STAGE)
発行年:
2013年
JST資料番号:
L1371A
ISSN:
0916-8532
資料種別:
逐次刊行物 (A)
記事区分:
解説
発行国:
日本 (JPN)
言語:
英語 (EN)