@InProceedings{HKN+06,
author={J. Heath and M. Kwiatkowska and G. Norman and D. Parker and O. Tymchyshyn},
title={Probabilistic model checking of complex biological pathways},
booktitle={Proc. Computational Methods in Systems Biology (CMSB'06)},
year={2006},

editor={C. Priami},
pages={32--47},
organization={},
publisher={Springer Verlag},
series={Lecture Notes in Bioinformatics},
volume={4210},
address={},
month={},
note={},
key={}
}