Best Paper for Wytse, Tom and Jaco for Distributed BDDs

The following paper received a best paper award from SPIN 2017 in Santa Barbara:

Wytse Oortwijn, Tom van Dijk and Jaco van de Pol, Distributed Binary Decision Diagrams for Symbolic Reachability

 

July 15, 2017
See this news item in overview by year.