TY  - RPRT
TI  - A benchmark library for parametric timed model checking
AU  - André Étienne
PY  - 2018
DO  - 10.1007/978-3-030-17465-1_12
UR  - https://arxiv.org/abs/1812.08441
ID  - 1812.08441
ER  -