François Fages Les Houches, avril 2007 Formal Verification of Dynamical Models and Application to Cell Cycle Control François Fages, Sylvain Soliman Constraint.
Mda start up
François Fages New Delhi, Dec.. 2007 Formal Verification and Inference of Biochemical Models François Fages Constraint Programming project-team, INRIA.