A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking

Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang

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

    16 Citations (Scopus)
    198 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking'. Together they form a unique fingerprint.

    Computer Science