Quantitative Analysis and Verification
Department of Computer Science, University of Oxford
[Kwi94]
M. Kwiatkowska.
Concurrency, Fairness and Logical Complexity.
In
Proc. 1st Imperial College Department of Computing Workshop on Theory and Formal Methods, Workshops in Computing
, pages 195-208, Springer.
1994.
[
ps.gz
] [
bib
]
Downloads:
ps.gz
(54 KB)
bib
Notes:
The original publication is available at
link.springer.com
.
Links:
[
Google
] [
Google Scholar
] [
CiteSeer
]
QAV:
>
Home
>
People
>
Projects
>
Publications