μcke — Efficient μ-calculus model checking
Book chapter in Lecture Notes in Computer Science (January 1997)
The most recent citing publication is shown below. View this citation on Dimensions.
Book chapter in Lecture Notes in Computer Science (January 1997)