@inproceedings{weko_118866_1, author = "永井,徹 and 戸次,圭介 and 大沼,康明 and 浜田,亘曼", title = "論理設計知的支援システム(ProLogic)用仕様記述シミュレータの開発", booktitle = "全国大会講演論文集", year = "1990", volume = "第40回", number = "ハードウェア", pages = "1293--1294", month = "mar" }