著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
安藤 護俊 and 岡 浩司 and 岡田 英夫,CADを利用した自動ベリファイ技術,"電子情報通信学会論文誌. D-2, 情報・システム. 2, パターン処理 = The IEICE transactions on information and systems. Pt. 2",09151923,東京 : 電子情報通信学会情報・システムソサイエティ,1998-06,81,6,1213-1223,https://cir.nii.ac.jp/crid/1520853835210468224,