Vérification de systèmes à compteurs

Vérification de systèmes à compteurs. Véronique Cortier. Master's Thesis, DEA de Logique, Paris, France,1999.

Download

Abstract

(unavailable)

BibTeX

@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},
}