TY  - RPRT
TI  - Reachability-time games on timed automata
AU  - Marcin Jurdziński
AU  - Ashutosh Trivedi
PY  - 2009
DO  - 10.1007/978-3-540-73420-8_72
UR  - https://arxiv.org/abs/0907.3414
ID  - 0907.3414
ER  -