Claude Kirchner
2
Documents
Identifiants chercheurs
- claudekirchner
- 0000-0002-1686-1046
- IdRef : 032478739
Présentation
Publications
- 2
- 2
- 2
Verification of Timed Automata Using Rewrite Rules and StrategiesThe 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 StrategiesERCIM Working Group on Constraints, Jun 2001, Prague, Czech Republic, 15 p
Communication dans un congrès
inria-00100534v1
|