TY  - THES
DP  - http://www.theses.fr/2014REN1S084
TI  - Rare event simulation for statistical model checking
AU  - Jegourel, Cyrille
A3  - Legay, Axel
PY  - 2014
N1  - Thèse de doctorat Informatique Rennes 1 2014
N1  - 2014REN1S084
UR  - http://www.theses.fr/2014REN1S084/document
ER  -