MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Studying Reactive" – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 97 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Time for Concurrency  
  • by Zohar Manna, Amir Pnueli — 1992 — J. Symbolic Logic
  • … of continuous components into the studied reactive system. Keywords: Temporal logic, real-time, specification…
  • Cited by 1 (0 self)Add To MetaCart
  • A Graphical Environment for Temporal Reasoning  
  • by Prof P. Michael Melliar-smith, Prof Oscar, H. Ibarra, Prof Roger, C. Wood, George Kutty, George Kutty, Percy Bysshe Shelley — 1994
  • … logic is widely recognized as an appropriate formalism for the study of reactive systems. However…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB