Formal Methods for Biochemical Signalling Pathways

First Author: Calder M
Attributed to:  Centre for Systems Biology at Edinburgh funded by BBSRC


No abstract provided

Bibliographic Information

Digital Object Identifier:

Publication URI:

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