著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
高橋 孝一,抽象化ツールMLATについて,"第三回システム検証の科学技術シンポジウム, 千里ライフサイエンスセンター",,,2006,,,,https://cir.nii.ac.jp/crid/1010282256956334338,