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