Quantitative Analysis and Verification
Department of Computer Science, University of Oxford
[Kwi90a]
M. Kwiatkowska.
A Metric for Traces.
Information Processing Letters
, 35(3), pages 129-135.
1990.
[
pdf
] [
bib
]
Downloads:
pdf
(578 KB)
bib
Links:
[
Google
] [
Google Scholar
] [
CiteSeer
]
QAV:
>
Home
>
People
>
Projects
>
Publications
pdf (578 KB)
bib