Browse by ISBN
Jump to: Book Section
Number of items: 1.
Book Section
Calder, Muffy and Gilmore, S. and Hillston, Jane and Vyshemirsky, Vladislav; Boca, Paul and Bowen, Jonathan P. and Siddiqi, Jawed, eds. (2010) Formal methods for biochemical signalling pathways. In: Formal Methods: State of the Art and New Directions. Springer, London, pp. 185-215. ISBN 9781848827363