Exploiting Transition Locality in the Disk Based Mur phi Verifier.

Giuseppe Della Penna Benedetto Intrigila Enrico Tronci Marisa Venturini Zilli

Published in: FMCAD (2002)

Keyphrases

database
pattern recognition
special case
information systems
image processing
image sequences
cooperative