Quantitative Analysis and Verification
Department of Computer Science, University of Oxford
[HK97]
M. Huth and M. Kwiatkowska.
Quantitative Analysis and Model Checking.
In
Proc. 12th Annual IEEE Symposium on Logic in Computer Science (LICS'97)
, pages 111-122, IEEE CS Press.
March
1997.
[
ps.gz
] [
bib
]
Downloads:
ps.gz
(55 KB)
bib
Links:
[
Google
] [
Google Scholar
] [
CiteSeer
]
QAV:
>
Home
>
People
>
Projects
>
Publications
ps.gz (55 KB)
bib