著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"関, 浩之",無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究,,[奈良先端科学技術大学院大学],2008,科学研究費補助金(基盤研究C)研究成果報告書,,,,https://cir.nii.ac.jp/crid/1130282271353443072