1. Bashi K, Forrest A, Ramanathan M (2005) SPLINDID: a semi-parametric, model-based method for obtaining transcription rates and gene regulation parameters from genomic and proteomic expression profiles. Bioinformatics 21(20):3873–3879
2. Bergstra J, Ponse A, Smolka S (eds.) (2001) Handbook of process algebras. Elsevier, Amsterdam, The Netherlands
3. Bernardo M, Degano P, Zavattaro G (eds) (2008) Formal methods for computational systems biology. Lecture notes in computer science, vol 5016. Springer, New York
4. Boys RJ, Wilkinson DJ, Kirkwood TB (2008) Bayesian inference for a discretely observed stochastic kinetic model. In: Statistics and computing. Springer, The Netherlands
5. Cardelli L (2005) Brane calculi-interactions of biological membranes. In: CMSB 2004, Paris, France, May 2004. Lecture notes in computer science, vol 3082. Springer, Berlin, pp 257–280