MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Smart Play-Out Extended Time and Forbidden Elements." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2 documents found, showing 1 through 2.
ATOM RSS
  • Smart Play-Out Extended: Time and Forbidden Elements  
  • by David Harel, David Harel, Hillel Kugler, Hillel Kugler, Amir Pnueli, Amir Pnueli — 2004 — Proc. 4th Int. Conf. on Quality Software (QSIC’04), IEEE Computer
  • … models. Smart Play-Out Extended: Time and Forbidden Elements ∗ David Harel, Hillel Kugler and Amir Pnueli…
  • Cited by 5 (2 self) – Add To MetaCart
  • Smart Play-Out Extended: Time and Forbidden Elements  
  • by David Harel Hillel, David Harel, Hillel Kugler, Amir Pnueli — 2004 — Proc. 4th Int. Conf. on Quality Software (QSIC’04), IEEE Computer
  • …Smart Play-Out Extended: Time and Forbidden Elements ∗ David Harel, Hillel Kugler and Amir Pnueli…
  • Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB