×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [issue of abstraction]
François Fages Les Houches, avril 2007 Formal Verification of Dynamical Models and Application to Cell Cycle Control François Fages, Sylvain Soliman Constraint
220 views
Mda start up
283 views
François Fages New Delhi, Dec.. 2007 Formal Verification and Inference of Biochemical Models François Fages Constraint Programming project-team, INRIA
214 views