I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Model Checking Probabilistic Pushdown Automata

Reference:

Javier Esparza, Antonín Kučera, and Richard Mayr. Model checking probabilistic pushdown automata. In LICS 2004. IEEE Computer Society, 2004.

Suggested BibTeX entry:

@inproceedings{EKM04,
    author = {Javier Esparza and Anton\'{\i}n Ku\v{c}era and Richard Mayr},
    booktitle = {LICS 2004},
    publisher = {IEEE Computer Society},
    title = {Model Checking Probabilistic Pushdown Automata},
    year = {2004}
}

GZipped PostScript (86 kB)
PDF (204 kB)
Tech report version, Journal version