Author,Title,Edition,Publisher,Year,Series,Number,ISBN,ISSN,URL
"中島, 震",代数仕様アプローチによる制的モデル検査手法の研究,,[国立情報学研究所],2008,科学研究費補助金(基盤研究C)研究成果報告書,,,,https://cir.nii.ac.jp/crid/1130282269194882944