- Citation:
- Dias, R. J., V. Pessanha, and J. M. Lourenço,
"Precise Detection of Atomicity Violations",
Hardware and Software: Verification and Testing, vol. 7857: Springer Berlin / Heidelberg, pp. 8-23, 2013.
Abstract:
n/a
Notes:
HVC 2012 Best Paper Award
Related External Link