A note on model checking the modal v-calculus
- 1 January 1989
- book chapter
- Published by Springer Science and Business Media LLC
- p. 761-772
- https://doi.org/10.1007/bfb0035797
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Proof systems for Hennessy-Milner Logic with recursionPublished by Springer Science and Business Media LLC ,2005
- Local model checking in the modal mu-calculusLecture Notes in Computer Science, 1989
- Results on the propositional μ-calculusTheoretical Computer Science, 1983
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955