Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies. Local Verification of Global Invariants in Concurrent Programs. 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 480-494, Springer, 2010. [doi]
@inproceedings{CohenMST10,
title = {Local Verification of Global Invariants in Concurrent Programs},
author = {Ernie Cohen and Michal Moskal and Wolfram Schulte and Stephan Tobies},
year = {2010},
doi = {10.1007/978-3-642-14295-6_42},
url = {http://dx.doi.org/10.1007/978-3-642-14295-6_42},
tags = {program verification},
researchr = {https://researchr.org/publication/CohenMST10},
cites = {0},
citedby = {0},
pages = {480-494},
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},
}