Robustness against relaxed memory models

Bouajjani, Ahmed; Derevenetc, Egor; Meyer, Roland (2014): Robustness against relaxed memory models. Software Engineering 2014. Bonn: Gesellschaft für Informatik. PISSN: 1617-5468. ISBN: 978-388579-621-3. pp. 85-86. Regular Research Papers. Kiel. 25. Februar-28. Februar 2014