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⟩