Formula Dependent Equivalence for Compositional CTL Model Checking (0)

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