@PHDTHESIS{younè2008,
url = "http://www.theses.fr/2008VERS0008",
title = "Model checking stochastique par les méthodes de comparaison stochastique",
author = "Younès, Sana",
year = "2008",
pages = "1 vol. (XII-213 f.)",
note = "Thèse de doctorat dirigée par Pekergin, Nihal Informatique Versailles-St Quentin en Yvelines 2008",
note = "2008VERS0008",
}