Josselin Giet, Laurent Mauborgne, Daniel Kästner, Christian Ferdinand. Towards Zero Alarms in Sound Static Analysis of Finite State Machines. In Alexander B. Romanovsky, Elena Troubitsyna, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings. Volume 11698 of Lecture Notes in Computer Science, pages 3-18, Springer, 2019. [doi]
@inproceedings{GietMKF19,
title = {Towards Zero Alarms in Sound Static Analysis of Finite State Machines},
author = {Josselin Giet and Laurent Mauborgne and Daniel Kästner and Christian Ferdinand},
year = {2019},
doi = {10.1007/978-3-030-26601-1_1},
url = {https://doi.org/10.1007/978-3-030-26601-1_1},
researchr = {https://researchr.org/publication/GietMKF19},
cites = {0},
citedby = {0},
pages = {3-18},
booktitle = {Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings},
editor = {Alexander B. Romanovsky and Elena Troubitsyna and Friedemann Bitsch},
volume = {11698},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-26601-1},
}