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

Cached

Download Links

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