Computational Modeling, Formal Analysis, and Tools for Systems Biology

Computational Modeling, Formal Analysis, and Tools for Systems Biology