↓ Skip to main content

Automata Logics, and Infinite Games

Overview of attention for book
Attention for Chapter 10: Modal μ-Calculus and Alternating Tree Automata
Altmetric Badge

Citations

dimensions_citation
407 Dimensions

Readers on

mendeley
10 Mendeley