CSL model checking algorithms for QBDs

A. Di Pierro (Editor), Anne Katharina Ingrid Remke, Boudewijn R.H.M. Haverkort, H. Wiklicky (Editor), L. Cloth

    Research output: Contribution to journalArticleAcademicpeer-review

    19 Citations (Scopus)
    56 Downloads (Pure)

    Fingerprint Dive into the research topics of 'CSL model checking algorithms for QBDs'. Together they form a unique fingerprint.