Efficient Temporal Reasoning

E. Allen Emerson, Tom Sadler, Jai Srinivasan. Efficient Temporal Reasoning. In POPL. pages 166-178, 1989.

Possibly Related Publications

The following publications are possibly variants of this publication: