Quantitative Analysis and Verification
Oxford University Computing Laboratory
[Kwi08]
M. Kwiatkowska.
Introduction.
Philosophical Transactions of the Royal Society A
, 366(1881), pages 3665-3668. Discussion Meeting Issue 'From computers to ubiquitous computing, by 2020'.
November
2008.
[
bib
]
Download:
bib
Links:
[
Google
] [
Google Scholar
] [
CiteSeer
]
Available from:
http://journals.royalsociety.org/content/n14829004k702421/?p=30526c4aa640484bb395293860f05535&pi=0
>
Home
>
People
>
Projects
>
Publications
Useful links:
Concurrency, Verification & Security Seminars
PRISM