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

trucks
diagrams