DMCA

Model checking and the Mu-calculus (1997)

Cached

Download Links

by E. Allen Emerson
Venue:DIMACS Series in Discrete Mathematics
Citations:46 - 0 self