1990年
Shared binary decision diagram with attributed edges for efficient boolean function manipulation
Proc. 27th Design Automat. Conf.
- 開始ページ
- 52
- 終了ページ
- 57
- リンク情報
-
- CiNii Articles
- http://ci.nii.ac.jp/naid/10000015138
- ID情報
-
- CiNii Articles ID : 10000015138