著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Workshop on Hybrid Systems : Computation and Control and Maler, Oded and Pnueli, A. (Amir)","Hybrid systems : computation and control : 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings",,Springer,2003,Lecture notes in computer science,,3540009132,,https://cir.nii.ac.jp/crid/1130000795317458048