Cover Image
Read Now

1
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...Computational Models for Cell Processes -- Process Algebra Modelling Styles for Biomolecular...”
Cover Image
Read Now

2
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- Probabilistic Model Checking of Complex Biological Pathways -- Type Inference in Systems Biology -- Stronger...”
Cover Image
Read Now

3
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...Invited Papers -- Cells as Computation -- Formal Modeling of C. elegans Development: A Scenario...”