Sciweavers

ICALP
1994
Springer

Equivalences for Fair Kripke Structures

13 years 7 months ago
Equivalences for Fair Kripke Structures
Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 1994
Where ICALP
Authors Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Comments (0)