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/// |