@PHDTHESIS{marke2003,
url = "http://www.theses.fr/2003ORLE2004",
title = "Logiques temporelles pour la vérification : expressivité, complexité, algorithmes",
author = "Markey, Nicolas",
year = "2003",
pages = "176 p.",
note = "Thèse de doctorat dirigée par Le Berre, François Informatique Orléans 2003",
note = "2003ORLE2004",
}