MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Deterministic Dynamic Monitors for Linear-Time Assertions." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 1 documents found, showing 1 through 1.
ATOM RSS
  • Deterministic Dynamic Monitors for Linear-Time Assertions  
  • by Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar — 2006 — In Proceedings of International ICSC Symposium on Multi-Agents and Mobile Agents in Virtual Organizations and E-Commerce (MAMA'2000
  • Deterministic Dynamic Monitors for Linear-Time Assertions Roy Armoni, Dmitry Korchemny 1 , Andreas…
  • Cited by 4 (0 self)Add To MetaCart
Help! Showing 1 through 1.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB