TY  - RPRT
TI  - Reachability and liveness in parametric timed automata
AU  - Étienne André
AU  - Didier Lime
AU  - Olivier H. Roux
PY  - 2022
DO  - 10.46298/lmcs-18(1:31)2022
UR  - https://arxiv.org/abs/2004.09171
ID  - 2004.09171
ER  -