Symbiose Project Team

Veber, Philippe, "Modélisation grande échelle de réseaux biologiques :vérification par contraintes booléennes de la cohérence des données".