1
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... Molecular Biology -- Contribution of Computational Tree Logic to Biological Regulatory Networks: Example...

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

3
Published 2009
Springer Berlin Heidelberg
Subjects: ...Computational and Systems Biology...

4
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... Sequences for the Modelling and Simulation of Cellular Pathways -- The BlenX Language with Biological...

5
Published 2008
Springer Berlin Heidelberg
Table of Contents: ...Biological and Biologically-Inspired Communication -- Towards a Self-structured Grid: An Ant...