Oxford logo
[BK98b] C. Baier and M. Kwiatkowska. On the Verification of Quantitative properties of Probabilistic Processes under Fairness Constraints. Information Processing Letters, 66(2), pages 71-79. 1998. [ps.gz] [bib]
Downloads:  ps.gz ps.gz (80 KB)  bib bib
Links: [Google] [Google Scholar] [CiteSeer]

QAV:

>  Home

>  People

>  Projects

>  Publications