@article{Brazdil2014139,
    Author = {Br{\'a}zdil, Tom{\'a}{\v s} and Bro{\v z}ek, V{\'a}clav and Forejt, Vojt{\v e}ch and Ku{\v c}era, Anton{\'\i}n},
    File = {Branching-time model-checking of probabilistic pushdown automata - Brázdil, Brožek, Forejt, Kučera (0) (0) - a - a - d.pdf},
    ISSN = {0022-0000},
    Journal = {Journal of Computer and System Sciences},
    Number = {1},
    Pages = {139 - 156},
    Title = {Branching-time model-checking of probabilistic pushdown automata},
    URL = {http://www.sciencedirect.com/science/article/pii/S0022000013001396},
    Volume = {80},
    Year = {2014},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0022000013001396},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.jcss.2013.07.001},
    date-added = {2013-12-16 22:02:58 +0000},
    date-modified = {2013-12-16 22:02:58 +0000},
    doi = {10.1016/j.jcss.2013.07.001}
}

@article{Brazdil2014139, Author = {Br{\'a}zdil, Tom{\'a}{\v s} and Bro{\v z}ek, V{\'a}clav and Forejt, Vojt{\v e}ch and Ku{\v c}era, Anton{\'\i}n}, File = {Branching-time model-checking of probabilistic pushdown automata - Brázdil, Brožek, Forejt, Kučera (0) (0) - a - a - d.pdf}, ISSN = {0022-0000}, Journal = {Journal of Computer and System Sciences}, Number = {1}, Pages = {139 - 156}, Title = {Branching-time model-checking of probabilistic pushdown automata}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000013001396}, Volume = {80}, Year = {2014}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0022000013001396}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.jcss.2013.07.001}, date-added = {2013-12-16 22:02:58 +0000}, date-modified = {2013-12-16 22:02:58 +0000}, doi = {10.1016/j.jcss.2013.07.001} }