Tableau-based model checking in the propositional mu-calculus
| Title | Tableau-based model checking in the propositional mu-calculus |
| Publication Type | Journal Articles |
| Year of Publication | 1990 |
| Authors | Cleaveland R |
| Journal | Acta Informatica |
| Volume | 27 |
| Issue | 8 |
| Pagination | 725 - 747 |
| Date Published | 1990/// |