@PHDTHESIS{jegou2014,
url = "http://www.theses.fr/2014REN1S084",
title = "Rare event simulation for statistical model checking",
author = "Jegourel, Cyrille",
year = "2014",
note = "Thèse de doctorat dirigée par Legay, Axel Informatique Rennes 1 2014",
note = "2014REN1S084",
url = "http://www.theses.fr/2014REN1S084/document",
}