Publications

Publications de

Articles dans une revue
Communications dans un congrès
Thèses
  • Xavier Thirioux

    Vérification de propriétés temporelles de systèmes réactifs répartis

    Thèse de doctorat, Institut National Polytechnique de Toulouse, novembre 1999.

    BibTeX

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par