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, 32(17):772-780, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.