Travelled to:
1 × France
Collaborated with:
A.Bouajjani Y.Lakhnech M.Sighireanu
Talks about:
parametr (1) automata (1) extend (1) analyz (1) fair (1)
Person: Aurore Collomb-Annichini
DBLP: Collomb-Annichini:Aurore
Contributed to:
Wrote 1 papers:
- SAS-2001-BouajjaniCLS #automaton #parametricity
- Analyzing Fair Parametric Extended Automata (AB, ACA, YL, MS), pp. 335–355.