著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems and Damm, Werner and Olderog, E.-R.","Formal techniques in real-time and fault-tolerant systems : 7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 : proceedings",,Springer,2002,Lecture notes in computer science,,3540441654,,https://cir.nii.ac.jp/crid/1130282269164150272