Parallel Recursive State Compression for Free (0)

by A W Laarman, J C van de Pol, M Weber
Venue:SPIN 2011, LNCS