著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
"原田, 裕基 and 西原, 佑 and 松本, 剛史 and 藤田, 昌宏",ワードレベル論理式の充足可能性判定問題を利用したシステムレベル設計デバッグ支援手法,全国大会講演論文集,,,2010-03-08,第72回,アーキテクチャ,153-154,https://cir.nii.ac.jp/crid/1050292572098344576,