Media type: E-Article Title: Model Checking Software: A Verification-Based Approach to Memory Fence Insertion in Relaxed Memory Systems Contributor: Linden, Alexander; Wolper, Pierre Published: Springer Berlin Heidelberg, 2011 Published in: Model Checking Software (2011), Seite 144-160 Language: Not determined DOI: 10.1007/978-3-642-22306-8_10 ISBN: 9783642223051; 9783642223068 ISSN: 0302-9743; 1611-3349 Origination: Footnote: