• 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: