Media type: E-Article Title: Model Checking Software: Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains Contributor: Calin, Georgel; Crouzen, Pepijn; D’Argenio, Pedro R.; Hahn, E. Moritz; Zhang, Lijun Published: Springer Berlin Heidelberg, 2010 Published in: Model Checking Software (2010), Seite 193-211 Language: Not determined DOI: 10.1007/978-3-642-16164-3_15 ISBN: 9783642161636; 9783642161643 ISSN: 0302-9743; 1611-3349 Origination: Footnote: