著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Conference on Formal Methods for Open Object-Based Distributed Systems and Smith, Scott F. and Talcott, Carolyn L.","Formal methods for open object-based distributed systems IV : IFIP TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) : September 6-8, 2000, Stanford, California, USA",,Kluwer Academic Publishers,2000,The International Federation for Information Processing,,0792379233,,https://cir.nii.ac.jp/crid/1130282272558587008