Time-Bounded Reachability in Tree-Structured QBDs by Abstraction

2009 Sixth International Conference on the Quantitative Evaluation of Systems ◽

10.1109/qest.2009.9 ◽

2009 ◽

Author(s):

Daniel Klink ◽

Anne Remke ◽

Boudewijn R. Haverkort ◽

Joost-Pieter Katoen

Download Full-text