著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems and Joseph, Mathai","Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988",,Springer-Verlag,1988,Lecture notes in computer science,,"3540503021,0387503021",,https://cir.nii.ac.jp/crid/1130000795420587648