Néstor Cataño, Ijaz Ahmed, Radu I. Siminiceanu, Jonathan Aldrich. A case study on the lightweight verification of a multi-threaded task server. Science of Computer Programming, 80:169-187, 2014. [doi]
@article{CatanoASA14,
title = {A case study on the lightweight verification of a multi-threaded task server},
author = {Néstor Cataño and Ijaz Ahmed and Radu I. Siminiceanu and Jonathan Aldrich},
year = {2014},
doi = {10.1016/j.scico.2013.01.004},
url = {http://dx.doi.org/10.1016/j.scico.2013.01.004},
researchr = {https://researchr.org/publication/CatanoASA14},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {80},
pages = {169-187},
}