State-Space Caching Revisited.

Patrice Godefroid, Gerard J. Holzmann, Didier Pirottin

Browse the full CAV paper archive.