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

Cached

Download Links

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

Document Versions

All from one, one for all: on model checking using representatives –Doron Peled — 1993 — LNCS