Slides
CHOReOS
CHOReOS Project @Usenix Conference 2011
François Fages New Delhi, Dec.. 2007 Formal Verification and Inference of Biochemical Models François Fages Constraint Programming project-team, INRIA.