Giovanna D'Agostino, Giacomo Lenzi. On Modal μ-Calculus over Finite Graphs with Small Components or Small Tree Width. Int. J. Found. Comput. Sci., 23(3):627-647, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.