Chapter 1 Symbolic Systems Biology and Pathway Logic
Chapter 2 Probabilistic Model Checking for Systems Biology
Chapter 3 Petri Nets for Systems Biology
Chapter 4 On Statecharts for Biology
Chapter 5 A Visual Process Calculus for Biology
Chapter 6 Software Tools for Biological Pathway Modeling
Back to top