Combining State Space Caching and Hash Compaction (1996)

by Ulrich Stern, David L. Dill
Venue:In Methoden des Entwurfs und der Verifikation digitaler Systeme, 4. GI/ITG/GME Workshop