All for one, one for all: On model checking with representatives (1993)

by D Peled
Venue:Computer Aided Verification, 5th International Conference Proceedings