TY  - RPRT
TI  - Better abstractions for timed automata
AU  - Frédéric Herbreteau
AU  - B. Srivathsan
AU  - Igor Walukiewicz
PY  - 2016
DO  - 10.1016/j.ic.2016.07.004
UR  - https://arxiv.org/abs/1110.3705
ID  - 1110.3705
ER  -