@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00117899,
 book = {全国大会講演論文集},
 issue = {ハードウェア},
 month = {Oct},
 note = {前報では、定理証明法による時間協調を含むシーケンス制御回路の設計検証システムについてそのシステム構成を示した。本報告では、述語論理による時間変化情報の表現、及びそれを利用した定理証明の制御戦略について説明すると共に、設計検証例についても示す。},
 publisher = {情報処理学会},
 title = {時間協調を含むシーケンス制御回路の設計検証システム(2) : 検証手法及び検証例},
 volume = {第39回},
 year = {1989}
}