Permutation Games for the Weakly Aconjunctive $$\mu $$ μ -Calculus

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

10.1007/978-3-319-89963-3_21 ◽

2018 ◽

pp. 361-378 ◽

Cited By ~ 1

Author(s):

Daniel Hausmann ◽

Lutz Schröder ◽

Hans-Peter Deifel

Download Full-text