文献
J-GLOBAL ID:200902104739299979
整理番号:93A0215597
2分決定グラフを用いた推移的閉包計算アルゴリズムと形式的検証への応用
An efficient computation of transitive closure using binary decision diagram and its application to formal verification.
著者 (3件):
松永裕介
(富士通研)
,
MCGEER P C
(Univ. California)
,
藤田昌宏
(富士通研)
資料名:
電子情報通信学会技術研究報告
(IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻:
92
号:
427(VLD92 70-82)
ページ:
49-56
発行年:
1993年01月21日
JST資料番号:
S0532B
ISSN:
0913-5685
資料種別:
会議録 (C)
発行国:
日本 (JPN)
言語:
日本語 (JA)