@InProceedings{CGGH08,
author={F. Ciocchetta and S. Gilmore and M. L. Guerriero and J. Hillston},
title={Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems},
booktitle={Proc. 3rd International Workshop on Practical Applications of Stochastic Modelling (PASM'08)},
year={2008},

editor={},
pages={17-38},
organization={},
publisher={},
series={ENTCS},
volume={232},
address={},
_month={March},
note={},
key={}
}