@InProceedings{CVGO05,
author={M. Calder and V. Vyshemirsky and D. Gilbert and R. Orton},
title={Analysis of signalling pathways using the {PRISM} model checker},
booktitle={Proc. Computational Methods in Systems Biology (CMSB'05)},
year={2005},

editor={},
pages={179-190},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}