Media type: E-Article Title: Lecture Notes in Computer Science: Process Algebra and Markov Chains Contributor: Brinksma, Ed; Hermanns, Holger Published: Springer Berlin Heidelberg, 2001 Published in: Lecture Notes in Computer Science (2001), Seite 183-231 Language: Not determined DOI: 10.1007/3-540-44667-2_5 ISBN: 9783540424796; 9783540446675 ISSN: 0302-9743 Origination: Footnote: