A Unified Approach to Language Containment and Fair CTL Model Checking.

Ramin Hojati, Thomas R. Shiple, Robert K. Brayton, Robert P. Kurshan

Browse the full DAC paper archive.