Oxford logo
[BK97] C. Baier and M. Kwiatkowska. Automatic Verification of Liveness Properties of Randomized Systems (Extended Abstract). In Proc. Symposium on Principles of Distributed Computing (PODC'97), pages 295, ACM Press. 1997. [ps.gz] [bib]
Downloads:  ps.gz ps.gz (81 KB)  bib bib
Links: [Google] [Google Scholar] [CiteSeer]

QAV:

>  Home

>  People

>  Projects

>  Publications