Media type: E-Article Title: Automated Technology for Verification and Analysis: 3-Valued Abstraction for (Bounded) Model Checking Contributor: Grumberg, Orna Published: Springer Berlin Heidelberg, 2009 Published in: Automated Technology for Verification and Analysis (2009), Seite 21-21 Language: Not determined DOI: 10.1007/978-3-642-04761-9_2 ISBN: 9783642047602; 9783642047619 ISSN: 0302-9743; 1611-3349 Origination: Footnote: