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

Cached

Download Links

by Rance Cleaveland , Bernhard Steffen
Venue:Formal Methods in System Design
Citations:109 - 16 self