著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems and Vytopil, J.","Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings",,Springer-Verlag,1991,Lecture notes in computer science,,"3540550925,0387550925",,https://cir.nii.ac.jp/crid/1130000797783441280