![](/img/cover-not-exists.png)
Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation
Traynard, Pauline, Fauré, Adrien, Fages, François, Thieffry, DenisVolume:
32
Language:
english
Journal:
Bioinformatics
DOI:
10.1093/bioinformatics/btw457
Date:
September, 2016
File:
PDF, 328 KB
english, 2016