Philippe Veber. Modélisation grande échelle de réseaux biologiques :vérification par contraintes booléennes de la cohérence des données. (Large-scale modeling of biological networks: checking data consistency using boolean constraints). PhD thesis, University of Rennes 1, France, 2007. [doi]
Abstract is missing.