Pavol Cerný, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur. Model Checking of Linearizability of Concurrent List Implementations. In Tayssir Touili, Byron Cook, Paul Jackson, editors, Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings. Volume 6174 of Lecture Notes in Computer Science, pages 465-479, Springer, 2010. [doi]
@inproceedings{CernyRZCA10,
title = {Model Checking of Linearizability of Concurrent List Implementations},
author = {Pavol Cerný and Arjun Radhakrishna and Damien Zufferey and Swarat Chaudhuri and Rajeev Alur},
year = {2010},
doi = {10.1007/978-3-642-14295-6_41},
url = {http://dx.doi.org/10.1007/978-3-642-14295-6_41},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/CernyRZCA10},
cites = {0},
citedby = {0},
pages = {465-479},
booktitle = {Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
editor = {Tayssir Touili and Byron Cook and Paul Jackson},
volume = {6174},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-14294-9},
}