Formal Methods for Computational Systems Biology

MLA

Bernardo, Marco, et al. Formal Methods for Computational Systems Biology. Springer Berlin Heidelberg, 2008.

APA

Bernardo, M., Degano, P., Kanade, T., & Zavattaro, G. (2008). Formal Methods for Computational Systems Biology. Springer Berlin Heidelberg.

Chicago

Bernardo, Marco, Pierpaolo Degano, Takeo Kanade, and Gianluigi Zavattaro. Formal Methods for Computational Systems Biology. : Springer Berlin Heidelberg, 2008.