L
[Ler03] Jérôme Leroux. Algorithmique de la vérification des systèmes à compteurs. Approximation et accélération. Implémentation de l'outil FAST. Thèse de doctorat, Lab. Spécification & Vérification, ENS Cachan, France, Décembre 2003. 
@phdthesis{phd-leroux,
  author =              {Leroux, J{\'e}r{\^o}me},
  title =               {Algorithmique de la v{\'e}rification des
                         syst{\`e}mes {\`a} compteurs. Approximation et
                         acc{\'e}l{\'e}ration. Impl{\'e}mentation de l'outil
                         {FAST}},
  year =                {2003},
  month =               dec,
  school =              {Lab.~Sp\'ecification \& V\'erification, ENS Cachan,
                         France},
  type =                {Th\`ese de doctorat},
}
Liste des auteurs