Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kousha Etessami, Dominik Wojtczak, Mihalis Yannakakis. Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems. In Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 September 2008, Saint-Malo, France. pages 243-253, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Kousha Etessami' in GoogleThis author has not been identified. Look up 'Dominik Wojtczak' in GoogleThis author has not been identified. Look up 'Mihalis Yannakakis' in Google

runs on WebDSL