Exploiting Transition Locality in Automatic Verification.

Enrico Tronci Giuseppe Della Penna Benedetto Intrigila Marisa Venturini Zilli

Published in: CHARME (2001)

Keyphrases

databases
data model
social networks
optimal solution
lower bound
email