@InProceedings{KNP+06, author={M. Kwiatkowska and G. Norman and D. Parker and O. Tymchyshyn and J. Heath and E. Gaffney}, title={Simulation and verification for computational modelling of signalling pathways}, booktitle={Proc. Winter Simulation Conference}, year={2006}, editor={L. F. Perrone and F. P. Wieland and J. Liu and B. G. Lawson and D. M. Nicol and R. M. Fujimoto}, pages={1666--1675}, organization={}, publisher={Omnipress}, series={}, volume={}, address={}, month={}, note={}, key={} }