著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Bernardo, Marco and Bogliolo, Alessandro and International School on Formal Methods for the Design of Computer, Communication and Software Systems","Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems : SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : advanced lectures",,Springer,2005,Lecture notes in computer science,,3540256970,,https://cir.nii.ac.jp/crid/1130000794754833536