A linear-time model-checking algorithm for the alternation-free modal mu-calculus
Title | A linear-time model-checking algorithm for the alternation-free modal mu-calculus |
Publication Type | Journal Articles |
Year of Publication | 1993 |
Authors | Cleaveland R, Steffen B |
Journal | Formal methods in system design |
Volume | 2 |
Issue | 2 |
Pagination | 121 - 147 |
Date Published | 1993/// |