TY  - RPRT
TI  - Improving search order for reachability testing in timed automata
AU  - Frédéric Herbreteau
AU  - Thanh-Tung Tran
PY  - 2015
UR  - https://arxiv.org/abs/1506.07000
ID  - 1506.07000
ER  -