@inproceedings{EsparzaKuceraMayr:LICS:2005,
    Author = {Esparza, Javier and Kucera, Antonin and Mayr, Richard},
    BookTitle = {20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)},
    File = {Quantitative Analysis of Probabilistic Pushdown Automata- Expectations and Variances - a.pdf},
    Pages = {117--126},
    Title = {Quantitative analysis of probabilistic pushdown automata: expectations and variances},
    Year = {2005},
    bdsk-url-1 = {https://doi.org/10.1109/LICS.2005.39},
    date-added = {2022-12-26 21:45:41 +0100},
    date-modified = {2023-08-24 12:48:40 +0200},
    doi = {10.1109/LICS.2005.39}
}

@inproceedings{EsparzaKuceraMayr:LICS:2005, Author = {Esparza, Javier and Kucera, Antonin and Mayr, Richard}, BookTitle = {20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)}, File = {Quantitative Analysis of Probabilistic Pushdown Automata- Expectations and Variances - a.pdf}, Pages = {117--126}, Title = {Quantitative analysis of probabilistic pushdown automata: expectations and variances}, Year = {2005}, bdsk-url-1 = {https://doi.org/10.1109/LICS.2005.39}, date-added = {2022-12-26 21:45:41 +0100}, date-modified = {2023-08-24 12:48:40 +0200}, doi = {10.1109/LICS.2005.39} }