|
[CVGO05]
M. Calder, V. Vyshemirsky, D. Gilbert and R. Orton.
Analysis of signalling pathways using the PRISM model checker.
In Proc. Computational Methods in Systems Biology (CMSB'05), pages 179-190.
2005.
[bib]
http://www.dcs.gla.ac.uk/~muffy/papers.html
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://www.dcs.gla.ac.uk/~muffy/papers.html
|