Best Paper Award SPIN 2017

    Prize: Honorary award


    Best Paper Award SPIN 2017 for Oortwijn, van Dijk, van de Pol for "Distributed Binary Decision Diagrams for Symbolic Reachability"
    Degree of recognitionInternational
    Granting OrganisationsSPIN 2017 Program Committee

    Awarded at event

    Event title24th International SPIN Symposium 2017
    LocationUniversity of California, Santa Barbara, United StatesShow on map
    Period13 Jul 2017 → 14 Jul 2017