A linear-time model-checking algorithm for the alternation-free modal mu-calculus

TitleA linear-time model-checking algorithm for the alternation-free modal mu-calculus
Publication TypeJournal Articles
Year of Publication1993
AuthorsCleaveland R, Steffen B
JournalFormal methods in system design
Volume2
Issue2
Pagination121 - 147
Date Published1993///