TY  - RPRT
TI  - Towards an Efficient Tree Automata based technique for Timed Systems
AU  - S. Akshay
AU  - Paul Gastin
AU  - Shankara Narayanan Krishna
AU  - Ilias Sarkar
PY  - 2017
UR  - https://arxiv.org/abs/1707.02297
ID  - 1707.02297
ER  -