@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00153608,
 author = {西村, 俊二 and 久我, 守弘 and 飯田, 全広 and 尼崎, 太樹 and 末吉, 敏則 and Nishimura, Shunji and Kuga, Morihiro and Iida, Masahiro and Amagasaki, Motoki and Sueyoshi, Toshinori},
 book = {情報科学技術フォーラム講演論文集},
 issue = {1},
 month = {Aug},
 pages = {49--54},
 publisher = {情報処理学会},
 title = {RC-006 多重様相論理による遅延依存非同期回路の形式検証体系(C分野:ハードウェア・アーキテクチャ,査読付き論文)},
 volume = {14},
 year = {2015}
}