著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"PAPM-PROBMIV and Process Algebras and Performance Modeling Workshop and Probabilistic Methods in Verification and De Alfaro, Luca and Gilmore, Stephen","Process algebra and probabilistic methods : performance modelling and verification : Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings",,Springer,2001,Lecture notes in computer science,,354042556X,,https://cir.nii.ac.jp/crid/1130000795953852544