I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Verifying probabilistic procedural programs


Javier Esparza and Kousha Etessami. Verifying probabilistic procedural programs. In Proceedings of FSTTCS 2004, volume 3328 of LNCS, Lecture Notes in Computer Science, pages 16–31, 2004.

Suggested BibTeX entry:

    author = {Javier Esparza and Kousha Etessami},
    booktitle = {Proceedings of FSTTCS 2004},
    pages = {16--31},
    series = {LNCS, Lecture Notes in Computer Science},
    title = {Verifying probabilistic procedural programs},
    volume = {3328},
    year = {2004}

GZipped PostScript (92 kB)
PDF (243 kB)