Edinburgh Research Explorer

Formal Methods for Biochemical Signalling Pathways

Research output: Chapter in Book/Report/Conference proceedingChapter

Standard

Formal Methods for Biochemical Signalling Pathways. / Calder, Muffy; Gilmore, Stephen; Hillston, Jane; Vyshemirsky, Vladislav.

Formal Methods: State of the Art and New Directions. ed. / Paul Boca; Jonathan P. Bowen; Jawed Siddiqi. Springer London, 2010. p. 185-215.

Research output: Chapter in Book/Report/Conference proceedingChapter

Harvard

Calder, M, Gilmore, S, Hillston, J & Vyshemirsky, V 2010, Formal Methods for Biochemical Signalling Pathways. in P Boca, JP Bowen & J Siddiqi (eds), Formal Methods: State of the Art and New Directions. Springer London, pp. 185-215. https://doi.org/10.1007/978-1-84882-736-3_6

APA

Calder, M., Gilmore, S., Hillston, J., & Vyshemirsky, V. (2010). Formal Methods for Biochemical Signalling Pathways. In P. Boca, J. P. Bowen, & J. Siddiqi (Eds.), Formal Methods: State of the Art and New Directions (pp. 185-215). Springer London. https://doi.org/10.1007/978-1-84882-736-3_6

Vancouver

Calder M, Gilmore S, Hillston J, Vyshemirsky V. Formal Methods for Biochemical Signalling Pathways. In Boca P, Bowen JP, Siddiqi J, editors, Formal Methods: State of the Art and New Directions. Springer London. 2010. p. 185-215 https://doi.org/10.1007/978-1-84882-736-3_6

Author

Calder, Muffy ; Gilmore, Stephen ; Hillston, Jane ; Vyshemirsky, Vladislav. / Formal Methods for Biochemical Signalling Pathways. Formal Methods: State of the Art and New Directions. editor / Paul Boca ; Jonathan P. Bowen ; Jawed Siddiqi. Springer London, 2010. pp. 185-215