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

TitleEfficient local model-checking for fragments of the modal $\mu$-calculus
Publication TypeJournal Articles
Year of Publication1996
AuthorsBhat G, Cleaveland R
JournalTools and Algorithms for the Construction and Analysis of Systems
Pagination107 - 126
Date Published1996///