TY  - RPRT
TI  - Parameter Synthesis Problems for one parametric clock Timed Automata
AU  - Liyun Dai
AU  - Taolue Chen
AU  - Zhiming Liu
AU  - Bican Xia
AU  - Naijun Zhan
AU  - Kim G. Larsen
PY  - 2018
UR  - https://arxiv.org/abs/1809.07177
ID  - 1809.07177
ER  -