TY  - RPRT
TI  - LTL Parameter Synthesis of Parametric Timed Automata
AU  - Peter Bezděk
AU  - Nikola Beneš
AU  - Jiří Barnat
AU  - Ivana Černá
PY  - 2016
UR  - https://arxiv.org/abs/1409.3696
ID  - 1409.3696
ER  -