On the use of MTBDDs for performability analysis and verification of stochastic systems

H. Hermanns, Marta Kwiatkowska, Gethin Norman, David Parker, Markus Siegle

    Research output: Contribution to journalArticleAcademic

    48 Citations (Scopus)
    70 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'On the use of MTBDDs for performability analysis and verification of stochastic systems'. Together they form a unique fingerprint.

    Computer Science