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

Cached

Download Links

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