Validation de modèles qualitatifs de réseaux de régulation génique: une méthode basée sur des techniques de vérification formelle. (Validation of qualitative models of genetic regulatory networks: a method based on formal verification techniques)

Grégory Batt. Validation de modèles qualitatifs de réseaux de régulation génique: une méthode basée sur des techniques de vérification formelle. (Validation of qualitative models of genetic regulatory networks: a method based on formal verification techniques). PhD thesis, Joseph Fourier University, Grenoble, France, 2006. [doi]