Simulation and verification for computational modelling of signalling pathways.

Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn, John Heath, Eamonn A. Gaffney

Browse the full WSC paper archive.