Kousha Etessami, Dominik Wojtczak, Mihalis Yannakakis. Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems. Perform. Eval., 67(9):837-857, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.