@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00115909,
 book = {全国大会講演論文集},
 issue = {デザインオートメーションおよびコンピュータグラフィクス},
 month = {Sep},
 note = {前報では、定理証明法によるシーケンス制御回路の設計検証システムについてそのシステム構成を示した。本報告では、論理抽出プログラムと、定理証明プログラムからなる具体的検証手法について説明すると共に、設計検証例についても示す。},
 publisher = {情報処理学会},
 title = {シーケンス制御回路の設計検証システム(2) : 検証手法及び検証例},
 volume = {第37回},
 year = {1988}
}