@inproceedings{weko_115908_1, author = "松田,聖 and 武藤,昭一 and 吉澤,純一 and 山田,直之 and 小林,康弘 and 元光,和夫 and 上田,至克 and 伊藤,順子", title = "シーケンス制御回路の設計検証システム(1) : システム構成", booktitle = "全国大会講演論文集", year = "1988", volume = "第37回", number = "デザインオートメーションおよびコンピュータグラフィクス", month = "sep" }