MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Really Temporal Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

A Really Temporal Logic
by Rajeev Alur, Thomas A. Henzinger
…AReallyTemporal Logic y Rajeev Alur Thomas A. Henzinger AT&T Bell Laboratories Computer Science…
Cited by 190 (27 self) – Add To MetaCart

Essential Reading: Theory of Timed and Hybrid Systems
by R. Ramanujam, Paritosh K. Pandya, Afh R. Alur, T. Feder, Hkpv T. A. Henzinger, P. W. Kopke, A. Puri, P. Varaiya What's Decidable — 1997 — Proc. IEEE Conf. on Decision and Control
…. earlier version in LICS90. [AH94] R. Alur and T.A. Henzinger. A really temporal logic. JACM, 41…
Add To MetaCart

Modeling and Analysis of Hybrid Control Systems
by Ying Zhang, Alan K Mackworth — 1999
… really temporal logic with metric time. Duration Calculus [33], a generalization of interval temporal…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB