<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>7860</REFNUM><AUTHORS><AUTHOR>Calder,M.</AUTHOR><AUTHOR>Vyshemirsky,V.</AUTHOR><AUTHOR>Gilbert,D.</AUTHOR><AUTHOR>Orton,R.</AUTHOR></AUTHORS><YEAR>2005</YEAR><TITLE>Analysis of Signalling Pathways using the Prism Model Checker</TITLE><PLACE_PUBLISHED>Proceedings of Third International CMSB 2005 (Computational Methods in Systems Biology).</PLACE_PUBLISHED><PUBLISHER>University of Edinburgh</PUBLISHER><PAGES>179-190</PAGES><LABEL>Calder:2005:7860</LABEL></RECORD></RECORDS></XML>