Next Visitor
None
Next Event
None
Publications
-
2005
-
Analysis of Signalling Pathways using the Prism Model Checker
Calder, M., Vyshemirsky, V., Gilbert, D., Orton, R., - Proceedings of Third International CMSB 2005 (Computational Methods in Systems Biology). (University of Edinburgh, 179-190) (google scholar)
-
Analysis of Signalling Pathways using the Prism Model Checker