The Hybrid μ-Calculus

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-45744-5_7 ◽

2001 ◽

pp. 76-91 ◽

Author(s):

Ulrike Sattler ◽

Moshe Y. Vardi

Download Full-text