@article{ForejtJancarKieferWorrell:IC:2014,
    Author = {Forejt, Vojt{\v e}ch and Jan{\v c}ar, Petr and Kiefer, Stefan and Worrell, James},
    File = {ic-14-lang (0) - a - a - h.pdf},
    ISSN = {0890-5401},
    Journal = {Information and Computation},
    Keywords = {Pushdown systems, Language equivalence, Probabilistic systems},
    Pages = {1--11},
    Title = {Language equivalence of probabilistic pushdown automata},
    URL = {http://www.sciencedirect.com/science/article/pii/S0890540114000625},
    Volume = {237},
    Year = {2014},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540114000625},
    bdsk-url-2 = {https://doi.org/10.1016/j.ic.2014.04.003},
    date-added = {2018-06-12 05:58:10 +0000},
    date-modified = {2020-06-11 08:19:21 +0200},
    file-2 = {Language equivalence of probabilistic pushdown automata - 1-s2.0-S0890540114000625-main.pdf},
    doi = {10.1016/j.ic.2014.04.003}
}

@article{ForejtJancarKieferWorrell:IC:2014, Author = {Forejt, Vojt{\v e}ch and Jan{\v c}ar, Petr and Kiefer, Stefan and Worrell, James}, File = {ic-14-lang (0) - a - a - h.pdf}, ISSN = {0890-5401}, Journal = {Information and Computation}, Keywords = {Pushdown systems, Language equivalence, Probabilistic systems}, Pages = {1--11}, Title = {Language equivalence of probabilistic pushdown automata}, URL = {http://www.sciencedirect.com/science/article/pii/S0890540114000625}, Volume = {237}, Year = {2014}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540114000625}, bdsk-url-2 = {https://doi.org/10.1016/j.ic.2014.04.003}, date-added = {2018-06-12 05:58:10 +0000}, date-modified = {2020-06-11 08:19:21 +0200}, file-2 = {Language equivalence of probabilistic pushdown automata - 1-s2.0-S0890540114000625-main.pdf}, doi = {10.1016/j.ic.2014.04.003} }