Automatic compositional minimization in CTL model checking.

Massimiliano Chiodo, Thomas R. Shiple, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton

Browse the full ICCAD paper archive.