Approximate reachability don’t cares for CTL model checking (1998)

by I-H Moon, J-Y Jang, G D Hachtel, F Somenzi, C Pixley, J Yuan
Venue:In Proceedings of the International Conference on Computer-Aided Design