Tableau-based model checking in the propositional mu-calculus

TitleTableau-based model checking in the propositional mu-calculus
Publication TypeJournal Articles
Year of Publication1990
AuthorsCleaveland R
JournalActa Informatica
Volume27
Issue8
Pagination725 - 747
Date Published1990///