@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00117898,
 book = {全国大会講演論文集},
 issue = {ハードウェア},
 month = {Oct},
 note = {各種の設計問題において、設計された結果が与えられた設計仕様を満たしているか否かの検証は不可欠である。前々回の報告では、時間変化情報を含まない変電所の制御保護装置の設計検証を対象として、定理証明法を利用した設計検証システムについて報告した。今回、対象として高速多相再閉路回路の設計を取り上げ、定理証明法による時間協調を含むシーケンス制御回路の設計検証システムを開発した。以下では、設計検証システムの構成を中心に報告する。},
 publisher = {情報処理学会},
 title = {時間協調を含むシーケンス制御回路の設計検証システム(1) : システム構成},
 volume = {第39回},
 year = {1989}
}