![](/img/cover-not-exists.png)
The Modal μ-Calculus Hierarchy over Restricted Classes of Transition Systems
Luca Alberucci and Alessandro FacchiniVolume:
74
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/40378272
Date:
December, 2009
File:
PDF, 2.27 MB
english, 2009