Exploiting Transition Locality in Automatic Verification (2001)

Cached

Download Links

by Enrico Tronci , Giuseppe Della Penna , Benedetto Intrigila , Marisa , Marisa Venturini Zilli
Citations:14 - 4 self