B
[Bou98] Patricia Bouyer. Automates temporisés et modularité. Mémoire de D.E.A., Lab. Spécification & Vérification, ENS Cachan, France, Juin 1998.
@mastersthesis{dea-Bouyer,
  author =              {Bouyer, Patricia},
  title =               {Automates temporis{\'e}s et modularit{\'e}},
  year =                {1998},
  month =               jun,
  school =              {Lab.~Sp\'ecification \& V\'erification, ENS Cachan,
                         France},
  type =                {M\'emoire de D.E.A.},
}
Liste des auteurs