Quantitative Analysis and Verification
Oxford University Computing Laboratory
[Ubi08]
M. Kwiatkowska, T. Rodden and V. Sassone (editors)
Proc. From computers to ubiquitous computing by 2020.
Royal Society.
November
2008.
[
bib
]
Download:
bib
Links:
[
Google
] [
Google Scholar
] [
CiteSeer
]
Available from:
http://journals.royalsociety.org/content/m830841k852j/?p=58520deabd3548f487106ddb70f7ee93&pi=0
>
Home
>
People
>
Projects
>
Publications
Useful links:
Concurrency, Verification & Security Seminars
PRISM