文献

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)

抄録/ポイント： 二分決定グラフで表現された状態遷移関係から効率よくその推移的...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=93A0215597&from=J-GLOBAL&jstjournalNo=S0532B") }}

タイトルに関連する用語 (5件)： 2分決定グラフ ,  閉包 ,  計算アルゴリズム ,  形式的検証 ,  応用