Emmanuel Beffara

Identifiers

• name variant Emmanuel Beffara 0.60 · backfill

Papers (2)

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

Mentions

• 0907.3123 #1 · backfill · confidence 0.70 Emmanuel Beffara

Frequent Coauthors

• Claude Kirchner 2 shared papers
• Hassen Kacem 2 shared papers
• Olivier Bournez 2 shared papers