Tearing based abstraction for CTL model checking (1996)

by W Lee, A Pardo, J Jang, G Hachtel, F Somenzi
Venue:In Proceedings of the International Conference on Computer-Aided Design