著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
佐藤 友哉 and 北道 淳司 and 東野 輝夫,システム設計レベルにおける回路の性質検証のための整数データを処理可能なCTLモデル検査法の提案と実装,情報処理学会研究報告 = IPSJ SIG technical reports,09196072,東京 : 情報処理学会,2000-09,2000,79,17-24,https://cir.nii.ac.jp/crid/1520290884495030784,