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

Communication Dans Un Congrès Année : 2009

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

(1) , (1) , (1)

1

Elisabetta de Maria

Fonction : Auteur
PersonId : 170153
IdHAL : edemaria

Constraint programming

Francois Fages

Fonction : Auteur
PersonId : 11625
IdHAL : francois-fages
ORCID : 0000-0001-5650-8266
IdRef : 03429502X

Constraint programming

Sylvain Soliman

Fonction : Auteur
PersonId : 2059
IdHAL : sylvain-soliman
ORCID : 0000-0001-5525-7418
IdRef : 089050983

Constraint programming

CV

Domaines

Langage de programmation [cs.PL] Bio-informatique [q-bio.QM]

Sylvain Soliman : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-02308529

Soumis le : mardi 8 octobre 2019-15:36:38

Dernière modification le : jeudi 3 février 2022-11:14:02

Dates et versions

hal-02308529 , version 1 (08-10-2019)

Identifiants

HAL Id : hal-02308529 , version 1
DOI : 10.1007/978-3-642-03845-7_10

Citer

Elisabetta de Maria, Francois Fages, Sylvain Soliman. On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle. CMSB 2009: Computational Methods in Systems Biology, Aug 2009, Bologna, Italy. pp.142-157, ⟨10.1007/978-3-642-03845-7_10⟩. ⟨hal-02308529⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2

20 Consultations

0 Téléchargements

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

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager