@PHDTHESIS{djafr2012,
url = "http://www.theses.fr/2012DENS0025",
title = "Numerical and statistical approaches for model checking of stochastic processes",
author = "Djafri, Hilal",
year = "2012",
note = "Thèse de doctorat dirigée par Haddad, Serge Informatique Cachan, Ecole normale supérieure 2012",
note = "2012DENS0025",
url = "http://www.theses.fr/2012DENS0025/document",
}