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

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

      Fingerprint

    Related content