Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
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
Document type :
Journal articles
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-01378465
Contributor : Sylvain Soliman Connect in order to contact the contributor
Submitted on : Tuesday, December 20, 2016 - 2:10:07 PM
Last modification on : Tuesday, July 5, 2022 - 8:39:03 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 | INRIA2 | PSL | UNIV-PARIS-SACLAY | 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 Datacite

Share

Metrics

Record views

510

Files downloads

168

 

Contact                    Legal Notice                    Personal Data