Predictive Modelling of Signaling Pathways via Probabalistic Model-Checking with PRISM

  • Kwiatkowska, Marta (Principal Investigator)

Project Details

Short titlePredictive Modelling of Signaling Pathways via Probabalistic Model-Checking with PRISM
StatusFinished
Effective start/end date1/01/06 → 30/06/07

Funding

  • MICROSOFT LIMITED