TY  - RPRT
TI  - IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata
AU  - Étienne André
PY  - 2010
DO  - 10.4204/eptcs.39.7
UR  - https://arxiv.org/abs/1011.0223
ID  - 1011.0223
ER  -