Automatic Compositional Minimization (1992)

by Massimiliano Chiodo, Thomas R Shiple, Alberto SangiovanniVincentelli, Robert K Brayton
Venue:in CTL Model Checking," IEEE International Conference on ComputerAided Design