Practical Techniques and Applications of Binary Decision Diagrams in Property Verification Problems プロパティ検証問題における二分決定グラフの実用的な技術と応用
この論文にアクセスする
著者
書誌事項
- タイトル
-
Practical Techniques and Applications of Binary Decision Diagrams in Property Verification Problems
- タイトル別名
-
プロパティ検証問題における二分決定グラフの実用的な技術と応用
- 著者名
-
岩下, 洋哲
- 学位授与大学
-
北海道大学
- 取得学位
-
博士(情報科学)
- 学位授与番号
-
甲第11291号
- 学位授与年月日
-
2014-03-25
注記・抄録
(主査) 教授 湊 真一, 教授 有村 博紀, 客員教授 白井 康之
情報科学研究科（コンピュータサイエンス専攻）
