Media type: E-Article Title: Concurrency, Compositionality, and Correctness: Proving the Refuted: Symbolic Model Checkers as Proof Generators Contributor: Balaban, Ittai; Pnueli, Amir; Zuck, Lenore D. Published: Springer Berlin Heidelberg, 2010 Published in: Concurrency, Compositionality, and Correctness (2010), Seite 221-236 Language: English DOI: 10.1007/978-3-642-11512-7_14 ISBN: 9783642115110; 9783642115127 ISSN: 0302-9743; 1611-3349 Origination: Footnote: