Media type: E-Article Title: Static Analysis: Predicate Abstraction for Relaxed Memory Models Contributor: Dan, Andrei Marian; Meshman, Yuri; Vechev, Martin; Yahav, Eran Published: Springer Berlin Heidelberg, 2013 Published in: Static Analysis (2013), Seite 84-104 Language: Not determined DOI: 10.1007/978-3-642-38856-9_7 ISSN: 0302-9743; 1611-3349 Origination: Footnote: