Quantitative Analysis and Verification
Department of Computer Science, University of Oxford
[BK98]
C. Baier and M. Kwiatkowska.
Model Checking for a Probabilistic Branching Time Logic with Fairness.
Distributed Computing
, 11(3), pages 125-155.
1998.
[
ps.gz
] [
bib
]
Downloads:
ps.gz
(303 KB)
bib
Links:
[
Google
] [
Google Scholar
] [
CiteSeer
]
QAV:
>
Home
>
People
>
Projects
>
Publications