%0 Conference Paper %1 conf/safecomp/GietMKF19 %A Giet, Josselin %A Mauborgne, Laurent %A Kästner, Daniel %A Ferdinand, Christian %B SAFECOMP %D 2019 %E Romanovsky, Alexander B. %E Troubitsyna, Elena %E Bitsch, Friedemann %I Springer %K dblp %P 3-18 %T Towards Zero Alarms in Sound Static Analysis of Finite State Machines. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2019.html#GietMKF19 %V 11698 %@ 978-3-030-26601-1

@inproceedings{conf/safecomp/GietMKF19, added-at = {2024-02-05T00:00:00.000+0100}, author = {Giet, Josselin and Mauborgne, Laurent and Kästner, Daniel and Ferdinand, Christian}, biburl = {https://www.bibsonomy.org/bibtex/26161f113c26dd2eeb563b8782facaf6f/dblp}, booktitle = {SAFECOMP}, crossref = {conf/safecomp/2019}, editor = {Romanovsky, Alexander B. and Troubitsyna, Elena and Bitsch, Friedemann}, ee = {https://doi.org/10.1007/978-3-030-26601-1_1}, interhash = {15b20f30de4bd6810cec2b82edcf0a2d}, intrahash = {6161f113c26dd2eeb563b8782facaf6f}, isbn = {978-3-030-26601-1}, keywords = {dblp}, pages = {3-18}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T07:00:00.000+0200}, title = {Towards Zero Alarms in Sound Static Analysis of Finite State Machines.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2019.html#GietMKF19}, volume = 11698, year = 2019 }