Old Web
English
Sign In
Acemap
>
Paper
>
Simulation and Verification for Computational Modelling of Signalling Pathways
Simulation and Verification for Computational Modelling of Signalling Pathways
2006
Kwiatkowska
Norman
Parker
Tymchyshyn
Heath
Gaffney
Keywords:
Differential equation
Ordinary differential equation
Process calculus
Applied mathematics
Gillespie algorithm
Stochastic simulation
Temporal logic
Formal verification
Model checking
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
11
References
17
Citations
NaN
KQI
[]