System 01: Mammalian cell cycle control

Analysis

• Expressibility
• K0 examples and BIOCHAM queries [CCDFS TCS 04]

• Simulation

• Queries
• BIOCHAM benchmarks [ChabrierFages CMSB 03]

To propose new entries, or to extend or correct existing entries, please email Sylvain Soliman