Skip to Main content Skip to Navigation
Journal articles

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

Pauline Traynard 1 Adrien Fauré 2 François Fages 3 Denis Thieffry 1, 4
1 Lifeware - Computational systems biology and optimization
Inria Paris-Rocquencourt
2 Yamaguchi University [Yamaguchi]
3 Lifeware - Computational systems biology and optimization
Inria Saclay - Ile de France
4 IBENS - Institut de biologie de l'ENS Paris (UMR 8197/1024)
Document type :
Journal articles
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-01378465
Contributor : Sylvain Soliman <>
Submitted on : Tuesday, December 20, 2016 - 2:10:07 PM
Last modification on : Saturday, May 1, 2021 - 3:06:52 AM
Long-term archiving on: : Tuesday, March 28, 2017 - 2:20:29 AM

Files

Vignette du document
Traynard_ECCB_9Jun2016_black.p...
Files produced by the author(s)

Identifiers

Collections

CNRS | INRIA | PSL | GS-COMPUTER-SCIENCE

Citation

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, Oxford University Press (OUP), 2016, 32 (17), pp.i772-i780. ⟨10.1093/bioinformatics/btw457⟩. ⟨hal-01378465⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

1058

Files downloads

1550

 

Contact                    Legal Notice                    Personal Data