O
[Odd00] Denis Oddoux. Génération efficace d'automates de Büchi à partir de formules LTL. Mémoire de D.E.A., Lab. Informatique Algorithmique: Fondements et Applications, Université Paris 7, France, Juin 2000. 
@mastersthesis{dea-oddoux,
  author =              {Oddoux, Denis},
  title =               {G{\'e}n{\'e}ration efficace d'automates de
                         {B}{\"u}chi {\`a} partir de formules {LTL}},
  year =                {2000},
  month =               jun,
  school =              {Lab.~Informatique Algorithmique: Fondements et
                         Applications, Universit{\'e} Paris~7, France},
  type =                {M\'emoire de D.E.A.},
}
Liste des auteurs