@INPROCEEDINGS{CHARME01,
author = {Enrico Tronci and Giuseppe Della Penna and Benedetto Intrigila and Marisa Venturini Zilli},
title = {Exploiting Transition Locality in Automatic Verification},
series = {LNCS},
booktitle = {Proceedings of 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods},
editor = {Springer-Verlag},
pages = {259--274},
year = {2001},
month = {9},
volume = {2144},
}