Formal Methods for Biochemical Signalling Pathways

First Author: Calder M
Attributed to:  SIGNAL: Stochastic process algebra for biochemical signalling pathway analysis funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-1-84882-736-3_6

Publication URI: http://dx.doi.org/10.1007/978-1-84882-736-3_6

Type: Book Chapter

Book Title: Formal Methods: State of the Art and New Directions (2010)

Page Reference: 185-215

ISBN: 978-1-84882-735-6