\'Etienne Andr\'e (LSV

Identifiers

• name variant \'Etienne Andr\'e (LSV 0.60 · backfill

Papers (1)

1. IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata cs.FL · 2010 · author #1

Mentions

• 1011.0223 #1 · backfill · confidence 0.70 \'Etienne Andr\'e (LSV

Frequent Coauthors

• CNRS 1 shared papers
• ENSC 1 shared papers
• France) 1 shared papers