Formuladependent equivalence for compositional ctl model checking (0)

by A Aziz, T Shiple, V Singhal, R Brayton, A Sangiovanni-Vincentelli
Venue:Formal Methods in System Design