Accéder directement au contenu

Claude Kirchner

2
Documents
Identifiants chercheurs

Présentation

Publications

emmanuel-beffara

Verification of Timed Automata Using Rewrite Rules and Strategies

Emmanuel Beffara , Olivier Bournez , Hassen Kacem , Claude Kirchner
The Seventh Biennal Bar-Ilan Symposium on the Foundations of Artificial Intelligence - BISFAI'01, Jun 2001, Bar-Ilan University, Ramat-Gan, Israel, 15 p
Communication dans un congrès inria-00100535v1

Verification of Timed Automata Using Rewrite Rules and Strategies

Emmanuel Beffara , Olivier Bournez , Hassen Kacem , Claude Kirchner
ERCIM Working Group on Constraints, Jun 2001, Prague, Czech Republic, 15 p
Communication dans un congrès inria-00100534v1