Rajeev Alur, Kenneth L. McMillan, Doron Peled
Model-Checking of Correctness Conditions for Concurrent Objects
LICS, 1996.
@inproceedings{LICS-1996-AlurMP, author = "Rajeev Alur and Kenneth L. McMillan and Doron Peled", booktitle = "{Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1996.561322", isbn = "0-8186-7463-6", pages = "219--228", publisher = "{IEEE Computer Society}", title = "{Model-Checking of Correctness Conditions for Concurrent Objects}", year = 1996, }