Validation of Qualitative Models of Genetic Regulatory Networks A Method Based on Formal Verification Techniques Grégory Batt Ph.D. defense -- under supervision.
Qualitative Modeling and Simulation of Genetic Regulatory Networks Hans Geiselmann 1 and Hidde de Jong 2 1 Université Joseph Fourier, Grenoble 2 INRIA.
Qualitative Modeling and Simulation of Genetic Regulatory Networks Hidde de Jong Projet HELIX Institut National de Recherche en Informatique et en Automatique.
