TY  - RPRT
TI  - Zone extrapolations in parametric timed automata
AU  - Johan Arcile
AU  - Étienne André
PY  - 2022
DO  - 10.1007/978-3-031-06773-0_24
UR  - https://arxiv.org/abs/2203.13173
ID  - 2203.13173
ER  -