@inproceedings{weko_117872_1, author = "淡海,功二 and 安浦,寛人 and 田丸,啓吉", title = "ハードウェア記述言語の厳密な意味定義のための非決定的動作モデルシミュレータの試作", booktitle = "全国大会講演論文集", year = "1989", volume = "第39回", number = "ハードウェア", pages = "1636--1637", month = "oct" }