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

QAV:

Home

People

Projects

Publications