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 journal › Article › Academic

    49 Citations (Scopus)
    86 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