logo EDITE Vincent BEAUDENON
Identité
Vincent BEAUDENON
État académique
Thèse soutenue le 2006-12-13
Laboratoire:
Voisinage
Ellipse bleue: doctorant, ellipse jaune: docteur, rectangle vert: permanent, rectangle jaune: HDR. Trait vert: encadrant de thèse, trait bleu: directeur de thèse, pointillé: jury d'évaluation à mi-parcours ou jury de thèse.
Productions scientifiques
edite:1332792345154
Data Decision Diagrams for Promela Systems Analysis
Vol. 12, No. 5, pp. 337-352 2011