@PHDTHESIS{paule2011,
url = "
		http://www.theses.fr/2011ECDN0023",
title = "Modélisation, simulation et vérification des grands réseaux de régulation biologique",
author = "Paulevé, Loïc",
year = "2011",
pages = "1 vol. (226 p.)",
note = "Thèse de doctorat dirigée par Roux, Olivier Henri Automatique, robotique, traitement du signal et informatique appliquée Ecole centrale de Nantes 2011",
note = "2011ECDN0023",
}