@inproceedings{weko_139542_1, author = "田川,貴聡 and 松本,剛史 and 藤田,昌宏", title = "動作合成された束データ方式による非同期式回路とその動作仕様に対する等価性検証手法", booktitle = "全国大会講演論文集", year = "2010", volume = "第72回", number = "アーキテクチャ", pages = "155--156 ", month = "mar" }