Best Paper Award SPIN 2017

Wytse H.M. Oortwijn (Recipient), Tom van Dijk (Recipient) & Jaco van de Pol (Recipient)

Prize: Honorary award

Best Paper Award SPIN 2017 for Oortwijn, van Dijk, van de Pol for "Distributed Binary Decision Diagrams for Symbolic Reachability"

event	24th International SPIN Symposium 2017
location	University of California, Santa Barbara, United States
Period	13 Jul 2017 → 14 Jul 2017

trucks

diagrams

Research Output

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review