Constraint Identification Using Modified Hoare Logic on Hybrid Models of Gene Networks.

Jonathan Behaegel, Jean-Paul Comet, Maxime Folschette

Browse the full TIME paper archive.