6 search results - page 2 / 2 » Collapsible Pushdown Automata and Recursion Schemes |
156
click to vote
PE
2011
Springer
14 years 10 months ago
2011
Springer
Structured QBDs by Abstraction Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Fellow, IEEE, and Joost-Pieter Katoen, Member, IEEE Computer Society —This paper studies quantita...