Temporal and modal logic (1995)

Cached

Download Links

by E. Allen Emerson
Venue:HANDBOOK OF THEORETICAL COMPUTER SCIENCE
Citations:1105 - 16 self