Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
米田 友洋 and 柴山 充文 and 南谷 崇,プロセス代数に基づく非同期式論理回路の設計検証,"電子情報通信学会論文誌. D-1, 情報・システム. 1, 情報処理 = The IEICE transactions on information and systems. Pt. 1",09151915,東京 : 電子情報通信学会情報・システムソサイエティ,1997-03,80,3,207-217,https://cir.nii.ac.jp/crid/1520853835215516288,