Module checking revisited (1997)

Cached

Download Links

by Orna Kupferman , Moshe Y. Vardi
Venue:In Proc. 9th CAV, LNCS 1254
Citations:30 - 6 self