Model checking and the mu-calculus

• 8 April 1997
• book chapter
• Published by American Mathematical Society (AMS)
• Vol. 31, 185-214
• https://doi.org/10.1090/dimacs/031/06

Abstract