Simulation and Verification for Computational Modelling of Signalling Pathways | IEEE Conference Publication | IEEE Xplore