著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"FORTE and Wang, Farn","Formal techniques for networked and distributed systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005 : proceedings",,Springer,2005,Lecture notes in computer science,,354029189X,,https://cir.nii.ac.jp/crid/1130000795703623168