TY  - THES
DP  - http://www.theses.fr/2003ORLE2004
TI  - Logiques temporelles pour la vérification : expressivité, complexité, algorithmes
AU  - Markey, Nicolas
A3  - Le Berre, François
PY  - 2003
SP  - 176 p.
N1  - Thèse de doctorat Informatique Orléans 2003
N1  - 2003ORLE2004
ER  -