On Model-Checking for Fragments of µ-Calculus (1995)

Cached

Download Links

by E.A. Emerson , A. P. Sistla
Venue:In CAV'93, volume 697 of LNCS
Citations:53 - 1 self