#### DMCA

## Model checking and the Mu-calculus (1997)

by
E. Allen Emerson

Venue: | DIMACS Series in Discrete Mathematics |

Citations: | 46 - 0 self |