TY  - RPRT
TI  - Verification of Timed Automata Using Rewrite Rules and Strategies
AU  - Emmanuel Beffara
AU  - Olivier Bournez
AU  - Hassen Kacem
AU  - Claude Kirchner
PY  - 2009
UR  - https://arxiv.org/abs/0907.3123
ID  - 0907.3123
ER  -