Hassen Kacem

Identifiers

• name variant Hassen Kacem 0.60 · backfill

Papers (2)

1. Verification of Timed Automata Using Rewrite Rules and Strategies cs.LO · 2009 · author #3
2. Verification of Timed Automata Using Rewrite Rules and Strategies cs.PL · 2001 · author #3

Mentions

• 0907.3123 #3 · backfill · confidence 0.70 Hassen Kacem

Frequent Coauthors

• Claude Kirchner 2 shared papers
• Emmanuel Beffara 2 shared papers
• Olivier Bournez 2 shared papers