TY  - RPRT
TI  - Parametric Timed Model Checking for Guaranteeing Timed Opacity
AU  - Étienne André
AU  - Jun Sun
PY  - 2019
DO  - 10.1007/978-3-030-31784-3_7
UR  - https://arxiv.org/abs/1907.00537
ID  - 1907.00537
ER  -