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

      Fingerprint

    Related content