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"
    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