著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Conference on Formal Methods for Open Object-Based Distributed Systems and Gorrieri, Roberto and Wehrheim, Heike","Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings",,Springer,2006,Lecture notes in computer science,,354034893X,,https://cir.nii.ac.jp/crid/1130282269158244736