@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@mastersthesis{cortier-dea,
  author =        {Cortier, V{\'e}ronique},
  month =         sep,
  school =        {{DEA} de Logique, Paris, France},
  type =          {Rapport de {DEA}},
  title =         {V{\'e}rification de syst{\`e}mes {\`a} compteurs},
  year =          {1999},
}