著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
"山本, 光晴 and 高橋, 孝一 and 萩谷, 昌己 and 西崎, 真也 and 玉井, 哲雄",グラフ探索アルゴリズムの形式的検証とモデル検査への応用について (プログラム変換と記号・数式処理),数理解析研究所講究録,1880-2818,京都大学数理解析研究所,2000-01,1125,,129-141,https://cir.nii.ac.jp/crid/1050564285516495232,