Logical model specification aided by model- checking techniques: application to the mammalian cell cycle regulation - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Bioinformatics Année : 2016

Logical model specification aided by model- checking techniques: application to the mammalian cell cycle regulation

Domaines

Bio-informatique [q-bio.QM]
Fichier principal
Vignette du fichier
Traynard_ECCB_9Jun2016_black.pdf (628.67 Ko) Télécharger le fichier
ECCB_2016_supplementary_material_183.pdf (89.3 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Origine : Fichiers produits par l'(les) auteur(s)

Sylvain Soliman  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01378465

Soumis le : mardi 20 décembre 2016-14:10:07

Dernière modification le : vendredi 19 avril 2024-16:18:57

Archivage à long terme le : mardi 28 mars 2017-02:20:29

Télécharger pour visualiser

Dates et versions

hal-01378465 , version 1 (20-12-2016)

Identifiants

Citer

Pauline Traynard, Adrien Fauré, François Fages, Denis Thieffry. Logical model specification aided by model- checking techniques: application to the mammalian cell cycle regulation. Bioinformatics, 2016, 32 (17), pp.i772-i780. ⟨10.1093/bioinformatics/btw457⟩. ⟨hal-01378465⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-PARIS CNRS INRIA INRIA2 PSL UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE
562 Consultations
192 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More