Andrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav. Effective Abstractions for Verification under Relaxed Memory Models. In Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen, editors, Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings. Volume 8931 of Lecture Notes in Computer Science, pages 449-466, Springer, 2015. [doi]
@inproceedings{DanMVY15,
title = {Effective Abstractions for Verification under Relaxed Memory Models},
author = {Andrei Marian Dan and Yuri Meshman and Martin T. Vechev and Eran Yahav},
year = {2015},
doi = {10.1007/978-3-662-46081-8_25},
url = {http://dx.doi.org/10.1007/978-3-662-46081-8_25},
researchr = {https://researchr.org/publication/DanMVY15},
cites = {0},
citedby = {0},
pages = {449-466},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings},
editor = {Deepak D'Souza and Akash Lal and Kim Guldstrand Larsen},
volume = {8931},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-662-46080-1},
}