時相理論に基づく論理設計の形式的検証システムの試作研究
著者
書誌事項
時相理論に基づく論理設計の形式的検証システムの試作研究
[矢島脩三], 1995.3
- タイトル別名
-
平成6年度科学研究費補助金試験研究(B)(2)研究成果報告書 : 研究課題番号: 05558030
- タイトル読み
-
ジソウ リロン ニ モトズク ロンリ セッケイ ノ ケイシキテキ ケンショウ システム ノ シサク ケンキュウ
大学図書館所蔵 全1件
この図書・雑誌をさがす
注記
京都大学工学部