Temporal and modal logic (1995)

Cached

Download Links

by E. Allen Emerson
Venue:HANDBOOK OF THEORETICAL COMPUTER SCIENCE
Citations:1136 - 17 self