Automated Temporal Reasoning about Reactive Systems (1996)

Cached

Download Links

by E. Allen Emerson
Citations:38 - 2 self