TY  - RPRT
TI  - On timed automata with input-determined guards
AU  - Deepak D'Souza
AU  - Nicolas Tabareau
PY  - 2006
UR  - https://arxiv.org/abs/cs/0601096
ID  - cs/0601096
ER  -