Michael Emmi, Rupak Majumdar, Roman Manevich. Parameterized verification of transactional memories. In Benjamin G. Zorn, Alexander Aiken, editors, Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010. pages 134-145, ACM, 2010. [doi]
@inproceedings{EmmiMM10,
title = {Parameterized verification of transactional memories},
author = {Michael Emmi and Rupak Majumdar and Roman Manevich},
year = {2010},
doi = {10.1145/1806596.1806613},
url = {http://doi.acm.org/10.1145/1806596.1806613},
researchr = {https://researchr.org/publication/EmmiMM10},
cites = {0},
citedby = {0},
pages = {134-145},
booktitle = {Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010},
editor = {Benjamin G. Zorn and Alexander Aiken},
publisher = {ACM},
isbn = {978-1-4503-0019-3},
}