TY  - RPRT
TI  - Time-Darts: A Data Structure for Verification of Closed Timed Automata
AU  - Kenneth Y. Jørgensen
AU  - Kim G. Larsen
AU  - Jiří Srba
PY  - 2012
DO  - 10.4204/eptcs.102.13
UR  - https://arxiv.org/abs/1211.6195
ID  - 1211.6195
ER  -