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 <>
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

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

Identifiers

Collections

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

1058

Files downloads

1550