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

View PDF

Download Links

by Doron Peled
Venue:LNCS
Citations:179 - 6 self