Fast and simple nested fixpoints
- 23 September 1996
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 59 (6) , 303-308
- https://doi.org/10.1016/0020-0190(96)00130-5
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Symbolic model checking: 1020 States and beyondPublished by Elsevier ,2004
- Model checking and boolean graphsTheoretical Computer Science, 1994
- A linear-time model-checking algorithm for the alternation-free modal mu-calculusFormal Methods in System Design, 1993
- A linear algorithm to solve fixed-point equations on transition systemsInformation Processing Letters, 1988
- Automata-theoretic techniques for modal logics of programsJournal of Computer and System Sciences, 1986
- Results on the propositional μ-calculusTheoretical Computer Science, 1983