Loïc Paulevé. Modélisation, Simulation et Vérification des Grands Réseaux de Régulation Biologique. (Modelling, Simulation and Verification of Large Biological Regulatory Networks). PhD thesis, École centrale de Nantes, France, 2011. [doi]
Abstract is missing.