@inproceedings{weko_118878_1, author = "吉永,和弘 and 小池,豊", title = "回路図インタフェースにおける論理検証の一手法", booktitle = "全国大会講演論文集", year = "1990", volume = "第40回", number = "ハードウェア", pages = "1316--1317", month = "mar" }