Vasu Singh. Runtime Verification for Software Transactional Memories. In Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann, editors, Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Volume 6418 of Lecture Notes in Computer Science, pages 421-435, Springer, 2010. [doi]
@inproceedings{Singh10-7,
title = {Runtime Verification for Software Transactional Memories},
author = {Vasu Singh},
year = {2010},
doi = {10.1007/978-3-642-16612-9_32},
url = {http://dx.doi.org/10.1007/978-3-642-16612-9_32},
researchr = {https://researchr.org/publication/Singh10-7},
cites = {0},
citedby = {0},
pages = {421-435},
booktitle = {Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings},
editor = {Howard Barringer and Yliès Falcone and Bernd Finkbeiner and Klaus Havelund and Insup Lee and Gordon J. Pace and Grigore Rosu and Oleg Sokolsky and Nikolai Tillmann},
volume = {6418},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-16611-2},
}