Time-Bounded Reachability in Tree-Structured QBDs by Abstraction

Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost P. Katoen

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
    197 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Time-Bounded Reachability in Tree-Structured QBDs by Abstraction'. Together they form a unique fingerprint.

    Earth and Planetary Sciences

    Computer Science

    Social Sciences