Dominik Harmim, Vladimír Marcin, Lucie Svobodova, Tomás Vojnar. Static Deadlock Detection in Low-Level C Code. In Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2022 - 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022, Revised Selected Papers. Volume 13789 of Lecture Notes in Computer Science, pages 267-276, Springer, 2022. [doi]
@inproceedings{HarmimMSV22,
title = {Static Deadlock Detection in Low-Level C Code},
author = {Dominik Harmim and Vladimír Marcin and Lucie Svobodova and Tomás Vojnar},
year = {2022},
doi = {10.1007/978-3-031-25312-6_31},
url = {https://doi.org/10.1007/978-3-031-25312-6_31},
researchr = {https://researchr.org/publication/HarmimMSV22},
cites = {0},
citedby = {0},
pages = {267-276},
booktitle = {Computer Aided Systems Theory - EUROCAST 2022 - 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022, Revised Selected Papers},
editor = {Roberto Moreno-Díaz and Franz Pichler and Alexis Quesada-Arencibia},
volume = {13789},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-25312-6},
}