Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner. Verification of Timed Automata Using Rewrite Rules and Strategies.
The Seventh Biennal Bar-Ilan Symposium on the Foundations of Artificial Intelligence - BISFAI'01, Jun 2001, Bar-Ilan University, Ramat-Gan, Israel, 15 p, 2001.
〈inria-00100535〉