Media type: E-Article Title: Lecture Notes in Computer Science: Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking Contributor: Wimmer, Ralf; Braitling, Bettina; Becker, Bernd Published: Springer Berlin Heidelberg, 2008 Published in: Lecture Notes in Computer Science (2008), Seite 366-380 Language: Not determined DOI: 10.1007/978-3-540-93900-9_29 ISSN: 0302-9743; 1611-3349 Origination: Footnote: