Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
"金井, 勇人 and 岸, 知二",ソフトウェア設計に対するモデル検査のための検証パターン,情報処理学会論文誌,1882-7764,東京 : 情報処理学会,2008-10-15,49,10,3493-3507,https://cir.nii.ac.jp/crid/1050001337881226496,