Searching for "Automated Temporal Reasoning about Reactive Systems." – 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.

Automated Temporal Reasoning about Reactive Systems
by E. Allen Emerson — 1996
…Automated Temporal Reasoning about Reactive Systems E. Allen Emerson University of Texas at Austin…
Cited by 34 (2 self) – Add To MetaCart

Hardware:
by Cli Has Very
…. The lectures will include interaction categories, automated temporal reasoning about reactive systems…
Add To MetaCart

Transition Systems and Service Composition Giuseppe De Giacomo 3Concentrating on behaviors:
by Transition Systems, Service Composition, Giacomo Concentrating
… Temporal Reasoning about Reactive Systems. Banff Higher Order Workshop, LNCS 1043, 111-120, Springer 1996…
Add To MetaCart

Showing 1 through 3.

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