System 02: Cell Cycle Model;Tyson (1991, 6 variables)
Analysis
Expressibility
Simulation
Queries
BIOCHAM
CTL queries result (and initial state)
To propose new entries, or to extend or correct existing entries, please email
Sylvain Soliman