ENSC

Identifiers

• name variant ENSC 0.60 · backfill

Papers (2)

1. IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata cs.FL · 2010 · author #3
2. On Selective Unboundedness of VASS cs.FL · 2010 · author #3

Mentions

• 1011.0223 #3 · backfill · confidence 0.70 ENSC
• 1011.0217 #3 · backfill · confidence 0.70 ENSC

Frequent Coauthors

• CNRS 2 shared papers
• France) 2 shared papers
• \'Etienne Andr\'e (LSV 1 shared papers
• Inria 1 shared papers
• St\'ephane Demri (LSV 1 shared papers