Ahmed Bouajjani, Michael Emmi, Constantin Enea, Suha Orhun Mutluergil
Proving Linearizability Using Forward Simulations
CAV, 2017.
@inproceedings{CAV-2017-BouajjaniEEM,
author = "Ahmed Bouajjani and Michael Emmi and Constantin Enea and Suha Orhun Mutluergil",
booktitle = "{Proceedings of the 28th International Conference on Computer Aided Verification, Part II}",
doi = "10.1007/978-3-319-63390-9_28",
isbn = "['978-3-319-63389-3', '978-3-319-63390-9']",
pages = "542--563",
publisher = "{Springer}",
title = "{Proving Linearizability Using Forward Simulations}",
year = 2017,
}