著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Conference on Formal Methods for Open Object-Based Distributed Systems and Steffen, Martin and Zavattaro, Gianluigi","Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings",,Springer,2005,Lecture notes in computer science,,3540261818,,https://cir.nii.ac.jp/crid/1130000798321643008