Searching for "Automated Temporal Reasoning about Reactive Systems." – sorted by Relevance.
-
Automated Temporal Reasoning about Reactive Systems
- Automated Temporal Reasoning about Reactive Systems E. Allen Emerson University of Texas at Austin
- Cited by 34 (2 self) – Add To MetaCart
-
Hardware:
- . 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:
- Temporal Reasoning about Reactive Systems. Banff Higher Order Workshop, LNCS 1043, 111-120, Springer 1996
- Add To MetaCart

