@INPROCEEDINGS{FMCAD02,
author = {Giuseppe Della Penna and Benedetto Intrigila and Enrico Tronci and Marisa Venturini Zilli},
title = {Exploiting Transition Locality in the Disk Based Murphi Verifier},
series = {LNCS},
booktitle = {Proceedings of Fourth International Conference on Formal Methods in Computer-Aided Design},
editor = {Springer-Verlag},
pages = {202--219},
year = {2002},
month = {11},
volume = {2517},
}