- CSL model checking algorithms for QBDs Anne Remke Boudewijn R. Haverkort Lucia Cloth Mon 26 December 2022
- Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems Kousha Etessami Dominik Wojtczak Mihalis Yannakakis Thu 27 March 2014
- Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems Kousha Etessami Dominik Wojtczak Mihalis Yannakakis Thu 27 March 2014
Library Size: 13G (3 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
