Model Checking, Hybrid Automata, and Systems Biology

Publication
SAMSI Workshop on Discrete Models in Systems Biology

Related