Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Tableau-based model checking in the propositional mu-calculus
Home
Publications
Tableau-based model checking in the propositional mu-calculus
Tableau-based model checking in the propositional mu-calculus
RC
Rance Cleaveland
Rance Cleaveland
Publisher Website
Google Scholar
Cite
Download
Share
Download
Download
Download PDF
Download
1 September 1990
journal article
Published by
Springer Science and Business Media LLC
in
Acta Informatica
Vol. 27
(8)
https://doi.org/10.1007/bf00264284
Abstract
No abstract available
Keywords
MODEL CHECKING
TABLEAU BASED
PROPOSITIONAL MU CALCULUS
WORKBENCH
Cited by 115 articles