@inproceedings{weko_153608_1, author = "西村,俊二 and 久我,守弘 and 飯田,全広 and 尼崎,太樹 and 末吉,敏則", title = "RC-006 多重様相論理による遅延依存非同期回路の形式検証体系(C分野:ハードウェア・アーキテクチャ,査読付き論文)", booktitle = "情報科学技術フォーラム講演論文集", year = "2015", volume = "14", number = "1", pages = "49--54", month = "aug" }