Quantitative Analysis and Verification
Department of Computer Science, University of Oxford
[Sch08]
O. Schaeffer.
On the use of process algebra techniques in computational modelling of cancer initiation and development.
Ph.D. thesis, University of Birmingham.
February
2008.
[
pdf
] [
bib
]
Downloads:
pdf
(1.41 MB)
bib
Links:
[
Google
] [
Google Scholar
] [
CiteSeer
]
QAV:
>
Home
>
People
>
Projects
>
Publications