All from one, one for all, on model-checking using representatives (0)

by D Peled
Venue:In Proc. 5 th Int. Conf. on Computer Aided Verification, volume 697 of Lecture