Viet Anh Nguyen, Wendelin Serwe, Radu Mateescu 0001, Eric Jenn. Hunting Superfluous Locks with Model Checking. In Maurice H. ter Beek, Alessandro Fantechi, Laura Semini, editors, From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Volume 11865 of Lecture Notes in Computer Science, pages 416-432, Springer, 2019. [doi]
@inproceedings{NguyenS0J19,
title = {Hunting Superfluous Locks with Model Checking},
author = {Viet Anh Nguyen and Wendelin Serwe and Radu Mateescu 0001 and Eric Jenn},
year = {2019},
doi = {10.1007/978-3-030-30985-5_24},
url = {https://doi.org/10.1007/978-3-030-30985-5_24},
researchr = {https://researchr.org/publication/NguyenS0J19},
cites = {0},
citedby = {0},
pages = {416-432},
booktitle = {From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday},
editor = {Maurice H. ter Beek and Alessandro Fantechi and Laura Semini},
volume = {11865},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-30985-5},
}