著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
,A formal specification of entrance system using contactless IC card,Proceedings of the 7th International Workshop on Future Software Technologies,,,2005,,,,https://cir.nii.ac.jp/crid/1010282256848273280,