Equivalences for Fair Kripke Structures.

Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Browse the full ICALP paper archive.