On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle

Elisabetta de Maria; Francois Fages; Sylvain Soliman

doi:10.1007/978-3-642-03845-7_10

Conference papers

On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle

Elisabetta de Maria ¹ Francois Fages ¹ Sylvain Soliman ¹

1 CONTRAINTES - Constraint programming

Inria Paris-Rocquencourt

Document type :

Conference papers

Domain :

Computer Science [cs] / Programming Languages [cs.PL]

Computer Science [cs] / Bioinformatics [q-bio.QM]

Complete list of metadata

https://hal.inria.fr/hal-02308529
Contributor : Sylvain Soliman <>
Submitted on : Tuesday, October 8, 2019 - 3:36:38 PM
Last modification on : Wednesday, October 9, 2019 - 1:25:46 AM

On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle

Links full text

Identifiers

Collections

Citation

Export

Metrics

33

Contact Legal Notice Personal Data

On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle

Links full text

Identifiers

Collections

Citation

Export

Share

Metrics

33

Contact Legal Notice Personal Data