## A Linear-Time Model-Checking Algorithm for the Alternation-Free Modal Mu-Calculus (1993)

by
Rance Cleaveland
,
Bernhard Steffen

Venue: | Formal Methods in System Design |

Citations: | 109 - 16 self |