|
[CGHV09]
M. Calder, S. Gilmore, J. Hillston and V. Vyshemirsky.
Formal methods for biochemical signalling pathways.
In Formal Methods: State of the Art and New Directions, Springer. To appear.
2009.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|