著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Conference on Formal Methods for Open Object-Based Distributed Systems and Bonsangue, Marcello M. and Johnsen, Einar Broch","Formal methods for open object-based distributed systems : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings",,Springer,2007,Lecture notes in computer science,,9783540729198,,https://cir.nii.ac.jp/crid/1130000796523455616