Validation of Qualitative Models of Genetic Regulatory Networks A Method Based on Formal Verification Techniques Grégory Batt Ph.D. defense -- under supervision.
