TY  - RPRT
TI  - Revisiting Reachability in Timed Automata
AU  - Karin Quaas
AU  - Mahsa Shirmohammadi
AU  - James Worrell
PY  - 2017
UR  - https://arxiv.org/abs/1702.03450
ID  - 1702.03450
ER  -