Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol. Efficient Convex Zone Merging in Parametric Timed Automata. In Sergiy Bogomolov, David Parker 0001, editors, Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings. Volume 13465 of Lecture Notes in Computer Science, pages 200-218, Springer, 2022. [doi]
@inproceedings{AndreMPP22,
title = {Efficient Convex Zone Merging in Parametric Timed Automata},
author = {Étienne André and Dylan Marinho and Laure Petrucci and Jaco van de Pol},
year = {2022},
doi = {10.1007/978-3-031-15839-1_12},
url = {https://doi.org/10.1007/978-3-031-15839-1_12},
researchr = {https://researchr.org/publication/AndreMPP22},
cites = {0},
citedby = {0},
pages = {200-218},
booktitle = {Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings},
editor = {Sergiy Bogomolov and David Parker 0001},
volume = {13465},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-15839-1},
}