TY  - RPRT
TI  - Fast detection of cycles in timed automata
AU  - Aakash Deshpande
AU  - Frédéric Herbreteau
AU  - B. Srivathsan
AU  - Thanh-Tung Tran
AU  - Igor Walukiewicz
PY  - 2014
UR  - https://arxiv.org/abs/1410.4509
ID  - 1410.4509
ER  -