Formal methods for checking the consistency of biological models. (2012)
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-4419-7210-1_27
PubMed Identifier: 22161346
Publication URI: http://europepmc.org/abstract/MED/22161346
Type: Journal Article/Review
Volume: 736
Parent Publication: Advances in experimental medicine and biology
ISSN: 0065-2598