Quantitative Analysis and Verification
Oxford University Computing Laboratory
[KNP09e]
M. Kwiatkowska, G. Norman and D. Parker.
Probabilistic Model Checking for Systems Biology.
In
Symbolic Systems Biology
, Jones and Bartlett. To appear.
2009.
[
bib
]
Download:
bib
Links:
[
Google
] [
Google Scholar
] [
CiteSeer
]
>
Home
>
People
>
Projects
>
Publications
Useful links:
Concurrency, Verification & Security Seminars
PRISM