@inproceedings{Brazdil:2005:DTP:2140048.2140065,
    Address = {Berlin, Heidelberg},
    Author = {Br\'{a}zdil, Tom\'{a}\v{s} and Ku\v{c}era, Anton\'{\i}n and Stra\v{z}ovsk\'{y}, Old\v{r}ich},
    BookTitle = {Proceedings of the 22Nd Annual Conference on Theoretical Aspects of Computer Science},
    File = {stacs05 (0) - a - a - n.pdf},
    ISBN = {3-540-24998-2, 978-3-540-24998-6},
    Location = {Stuttgart, Germany},
    Pages = {145--157},
    Publisher = {Springer-Verlag},
    Series = {STACS'05},
    Title = {On the Decidability of Temporal Properties of Probabilistic Pushdown Automata},
    URL = {http://dx.doi.org/10.1007/978-3-540-31856-9\_12},
    Year = {2005},
    acmid = {2140065},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-31856-9\_12},
    date-added = {2019-07-17 14:31:59 +0100},
    date-modified = {2019-07-17 14:31:59 +0100},
    file-2 = {stacs05 (0) - a - a - n.ps},
    numpages = {13},
    doi = {10.1007/978-3-540-31856-9_12}
}

@inproceedings{Brazdil:2005:DTP:2140048.2140065, Address = {Berlin, Heidelberg}, Author = {Br\'{a}zdil, Tom\'{a}\v{s} and Ku\v{c}era, Anton\'{\i}n and Stra\v{z}ovsk\'{y}, Old\v{r}ich}, BookTitle = {Proceedings of the 22Nd Annual Conference on Theoretical Aspects of Computer Science}, File = {stacs05 (0) - a - a - n.pdf}, ISBN = {3-540-24998-2, 978-3-540-24998-6}, Location = {Stuttgart, Germany}, Pages = {145--157}, Publisher = {Springer-Verlag}, Series = {STACS'05}, Title = {On the Decidability of Temporal Properties of Probabilistic Pushdown Automata}, URL = {http://dx.doi.org/10.1007/978-3-540-31856-9_12}, Year = {2005}, acmid = {2140065}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-31856-9_12}, date-added = {2019-07-17 14:31:59 +0100}, date-modified = {2019-07-17 14:31:59 +0100}, file-2 = {stacs05 (0) - a - a - n.ps}, numpages = {13}, doi = {10.1007/978-3-540-31856-9_12} }