Automatic compositional minimization in CTL model checking

• Authors:

• M. Chiodo;T. R. Shiple;A. L. Sangiovanni-Vincentelli;R. K. Brayton

• Affiliations:

• -;-;-;-

• Venue:
• ICCAD '92 1992 IEEE/ACM international conference proceedings on Computer-aided design
• Year:
• 1992