Robert P. Cook. Thread Verification - An Experience Report. Electronic Notes in Theoretical Computer Science, 174(9):49-61, 2007. [doi]
@article{Cook07:5,
title = {Thread Verification - An Experience Report},
author = {Robert P. Cook},
year = {2007},
doi = {10.1016/j.entcs.2007.04.006},
url = {http://dx.doi.org/10.1016/j.entcs.2007.04.006},
researchr = {https://researchr.org/publication/Cook07%3A5},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {9},
pages = {49-61},
}