UMR 6174)

Identifiers

• name variant UMR 6174) 0.60 · backfill

Papers (1)

1. Enhancing Approximations for Regular Reachability Analysis cs.FL · 2013 · author #2

Mentions

• 1311.6605 #2 · backfill · confidence 0.70 UMR 6174)

Frequent Coauthors

• Alois Dreyfus (INRIA Nancy - Grand Est / LORIA / LIFC 1 shared papers
• FEMTO-ST) 1 shared papers
• Olga Kouchnarenko (INRIA Nancy - Grand Est / LORIA / LIFC 1 shared papers
• Pierre-Cyrille Heam (INRIA Nancy - Grand Est / LORIA / LIFC 1 shared papers