TY  - RPRT
TI  - Lazy abstractions for timed automata
AU  - Frédéric Herbreteau
AU  - B. Srivathsan
AU  - Igor Walukiewicz
PY  - 2013
UR  - https://arxiv.org/abs/1301.3127
ID  - 1301.3127
ER  -