# Efficient local model-checking for fragments of the modal $\mu$-calculus

 Title Efficient local model-checking for fragments of the modal $\mu$-calculus Publication Type Journal Articles Year of Publication 1996 Authors Bhat G, Cleaveland R Journal Tools and Algorithms for the Construction and Analysis of Systems Pagination 107 - 126 Date Published 1996///