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 proceeding › Conference contribution › Academic › peer-review

    16 Citations (Scopus)
    231 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