From Complementation to Certification

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24730-2_43 ◽

2004 ◽

pp. 591-606 ◽

Author(s):

Orna Kupferman ◽

Moshe Y. Vardi

Download Full-text