Thèse soutenue

Contributions à l'approche automate pour la vérification de propriétés de systèmes concurrents
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Alexandre Duret-Lutz
Direction : Fabrice Kordon
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 2007
Etablissement(s) : Paris 6