State caching reconsidered (2004)

by J Geldenhuys
Venue:In Proceedings of the 11th International SPIN Workshop on Model Checking Software