著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
田辺 良則 and 高橋 孝一 and 山本 光晴 and 佐藤 貴洋 and 萩谷 昌己,BDDを用いた2方向CTL論理式充足可能性決定手続きの実装,コンピュータ ソフトウェア,0289-6540,日本ソフトウェア科学会,2005,22,3,154-166,https://cir.nii.ac.jp/crid/1390282679714375040,https://doi.org/10.11309/jssst.22.3_154