著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"FORMATS and Chatterjee, Krishnendu and Henzinger, T. A. (Thomas A.)","Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings",,Springer,2010,Lecture notes in computer science,,9783642152962,,https://cir.nii.ac.jp/crid/1130000793791729280