@inproceedings{Etessami:2008:QPT:1446304.1447453,
    Address = {Washington, DC, USA},
    Author = {Etessami, Kousha and Wojtczak, Dominik and Yannakakis, Mihalis},
    BookTitle = {Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems},
    File = {Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems - Etessami, Wojtczak, Yannakakis (0) (1) (0) (0) - a - a - k.pdf},
    ISBN = {978-0-7695-3360-5},
    Keywords = {Quasi-Birth-Death Processes, Recursive Markov Chains, probabilistic Pushdown Systems, 1-Counter Automata},
    Pages = {243--253},
    Publisher = {IEEE Computer Society},
    Series = {QEST '08},
    Title = {Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems},
    URL = {http://dx.doi.org/10.1109/QEST.2008.35},
    Year = {2008},
    acmid = {1447453},
    bdsk-url-1 = {http://dx.doi.org/10.1109/QEST.2008.35},
    date-added = {2014-03-27 16:50:57 +0000},
    date-modified = {2014-03-27 16:50:57 +0000},
    numpages = {11},
    doi = {10.1109/QEST.2008.35}
}

@inproceedings{Etessami:2008:QPT:1446304.1447453, Address = {Washington, DC, USA}, Author = {Etessami, Kousha and Wojtczak, Dominik and Yannakakis, Mihalis}, BookTitle = {Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems}, File = {Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems - Etessami, Wojtczak, Yannakakis (0) (1) (0) (0) - a - a - k.pdf}, ISBN = {978-0-7695-3360-5}, Keywords = {Quasi-Birth-Death Processes, Recursive Markov Chains, probabilistic Pushdown Systems, 1-Counter Automata}, Pages = {243--253}, Publisher = {IEEE Computer Society}, Series = {QEST '08}, Title = {Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems}, URL = {http://dx.doi.org/10.1109/QEST.2008.35}, Year = {2008}, acmid = {1447453}, bdsk-url-1 = {http://dx.doi.org/10.1109/QEST.2008.35}, date-added = {2014-03-27 16:50:57 +0000}, date-modified = {2014-03-27 16:50:57 +0000}, numpages = {11}, doi = {10.1109/QEST.2008.35} }