Nazha Abed: Exploration randomisée de larges espaces d'états pour la vérification. (Randomised exploration of large state spaces for verification). Joseph Fourier University, Grenoble, France 2009