Ir\`ene A. Durand (LaBRI)

Identifiers

• name variant Ir\`ene A. Durand (LaBRI) 0.60 · backfill

Papers (1)

1. Fly-automata, model-checking and recognizability cs.LO · 2014 · author #2

Mentions

• 1409.5368 #2 · backfill · confidence 0.70 Ir\`ene A. Durand (LaBRI)

Frequent Coauthors

• Bruno Courcelle (LaBRI) 1 shared papers