The modal mu-calculus hierarchy over restricted classes of transition systems
Publisher DOI
Date Issued
2009
Publication Type
Article
Language(s)
en
Author(s)
Facchini, Alessandro |
Additional Credits
Journal
The journal of symbolic logic
Publisher
Cambridge University Press
ISSN
0022-4812
Access(Rights)
open.access