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  - 2001
UR  - https://arxiv.org/abs/cs/0109024
ID  - cs/0109024
ER  -