All from one, one from all: on model checking using representatives (1993)

by D Peled
Venue:In Proceedings of the 5th International Conference on Computer Aided Verification, Greece, number 697 in Lecture Notes in Computer Science