A Linear-time model-checking algorithm for the alternation-free modal mu-calculus. (1993)

by R Cleaveland, B Steffen
Venue:Formal Methods in System Design,