Media type: E-Article Title: Computer Aided Verification: Leveraging Interpolant Strength in Model Checking Contributor: Rollini, Simone Fulvio; Sery, Ondrej; Sharygina, Natasha Published: Springer Berlin Heidelberg, 2012 Published in: Computer Aided Verification (2012), Seite 193-209 Language: Not determined DOI: 10.1007/978-3-642-31424-7_18 ISBN: 9783642314230; 9783642314247 ISSN: 0302-9743; 1611-3349 Origination: Footnote: