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

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

Traynard_ECCB_9Jun2016_black.p...
Files produced by the author(s)

Identifiers

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⟩

Share

Metrics

Record views

510

Files downloads

168