著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"PAPM-PROBMIV and Hermanns, Holger and Segala, Roberto","Process algebra and probabilistic methods : performance modeling and verification : Second Joint International Workshop, PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings",,Springer,2002,Lecture notes in computer science,,3540439137,,https://cir.nii.ac.jp/crid/1130000794819262208