System 01: Mammalian cell cycle control
Models
Core
model
in K0 by
Marc Chiaverini
and
Vincent Danos
;
This model was built after Kohn's map.
Boolean
model
in
BIOCHAM
by
Nathalie Chabrier
and
Francois Fages
;
This model has been translated from the above model, the
analysis by CTL querying
shows that there are some missing parts (on Cyclin B for example).
...
To propose new entries, or to extend or correct existing entries, please email
Sylvain Soliman