On model checking for the μ-calculus and its fragments
Under an Elsevier user license
open archive
Keywords
Model checking
μ-calculus
Tree automata
Expressiveness
Temporal logic
Cited by (0)
- 1
This author's research is supported in part by NSF grant CCR-980-4736, Semiconductor Research Corporation contract 99-TJ-685, and Texas Advanced Research Program project 003658-0650-1999.
- 2
This author's research is supported in part by NSF grants CCR-9623229, CCR-9212183, CCR-9633536.
Copyright © 2001 Elsevier Science B.V. All rights reserved.