TY  - THES
DP  - http://www.theses.fr/2015LORR0090
TI  - Vérification dynamique formelle de propriétés temporelles sur des applications distribuées réelles
AU  - Guthmuller, Marion
A3  - Contassot-Vivier, Sylvain; Quinson, Martin
PY  - 2015
N1  - Thèse de doctorat Informatique Université de Lorraine 2015
N1  - 2015LORR0090
UR  - http://www.theses.fr/2015LORR0090/document
ER  -