Paper ID: 7860
Analysis of Signalling Pathways using the Prism Model Checker
Calder,M.
Vyshemirsky,V.
Gilbert,D.
Orton,R.
Publication Type:
Conference Proceedings
Appeared in:
Proceedings of Third International CMSB 2005 (Computational Methods in Systems
Biology).
Page Numbers : 179-190
Publisher: University of Edinburgh
Year: 2005
ISBN/ISSN:
Abstract:
No abstract available.
|
|
