TY  - RPRT
TI  - Efficient Convex Zone Merging in Parametric Timed Automata
AU  - Étienne André
AU  - Dylan Marinho
AU  - Laure Petrucci
AU  - Jaco van de Pol
PY  - 2022
DO  - 10.1007/978-3-031-15839-1_12
UR  - https://arxiv.org/abs/2212.04802
ID  - 2212.04802
ER  -