On model-checking for fragments of μ-calculus
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 385-396
- https://doi.org/10.1007/3-540-56922-7_32
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Tableau-based model checking in the propositional mu-calculusActa Informatica, 1990
- Local model checking in the modal mu-calculusLecture Notes in Computer Science, 1989
- Regular expressions for infinite trees and a standard form of automataPublished by Springer Nature ,1985
- Yet another process logicPublished by Springer Nature ,1984
- Results on the propositional μ-calculusTheoretical Computer Science, 1983
- Characterizing correctness properties of parallel programs using fixpointsPublished by Springer Nature ,1980