Best Paper Award SPIN 2017

    Prize: Honorary award

    Description

    Best Paper Award SPIN 2017 for Oortwijn, van Dijk, van de Pol for "Distributed Binary Decision Diagrams for Symbolic Reachability"
    Awarded date14 Jul 2017
    Degree of recognitionInternational
    Organisations

    Honorary award

    event24th International SPIN Symposium 2017
    locationUniversity of California, Santa Barbara, United States
    Period13 Jul 2017 → 14 Jul 2017

      Fingerprint

    Related content

    Research Output

    Distributed Binary Decision Diagrams for Symbolic Reachability

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review