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

by Doron Peled
Venue:In International Conference on Computer Aided Veri (CAV), Lecture Notes in Computer Science