TY  - RPRT
TI  - Parametric non-interference in timed automata
AU  - Étienne André
AU  - Aleksander Kryukov
PY  - 2020
UR  - https://arxiv.org/abs/2010.09527
ID  - 2010.09527
ER  -