Researcher identifiers

Number of documents

2

Claude Kirchner


"Hassen Kacem"   

Conference papers2 documents

  • Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner. Verification of Timed Automata Using Rewrite Rules and Strategies. ERCIM Working Group on Constraints, Jun 2001, Prague, Czech Republic, 15 p. ⟨inria-00100534⟩
  • 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. ⟨inria-00100535⟩