Simon Wimmer. Munta: A Verified Model Checker for Timed Automata. In Étienne André, Mariëlle Stoelinga, editors, Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings. Volume 11750 of Lecture Notes in Computer Science, pages 236-243, Springer, 2019. [doi]
@inproceedings{Wimmer19-1,
title = {Munta: A Verified Model Checker for Timed Automata},
author = {Simon Wimmer},
year = {2019},
doi = {10.1007/978-3-030-29662-9_14},
url = {https://doi.org/10.1007/978-3-030-29662-9_14},
researchr = {https://researchr.org/publication/Wimmer19-1},
cites = {0},
citedby = {0},
pages = {236-243},
booktitle = {Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings},
editor = {Étienne André and Mariëlle Stoelinga},
volume = {11750},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-29662-9},
}