MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Branching time temporal logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 592 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • A Decidable Dense Branching-time Temporal Logic  
  • by Salvatore La Torre, Margherita Napoli — 2000 — In Proc. of the 20th Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS'00, LNCS 1974
  • …A Decidable Dense Branching-time Temporal Logic Salvatore La Torre University of Pennsylvania…
  • Cited by 6 (3 self) – Add To MetaCart
  • Regular Trace Event Structures  
  • by P. S. Thiagarajan, P. S. Thiagarajan — 1996
  • … as a starting point for constructing effective branching time temporal logics in a non…
  • Add To MetaCart
  • Formal Analysis of Multi-Party Contract Signing  
  • by Rohit Chadha, Steve Kremer, Andre Scedrov — 2004 — In Proceedings of the 17th IEEE Computer Security Foundations Workshop
  • …. The set Λ is defined using temporal logic formulas. For those familiar with branching time temporal logics…
  • Cited by 19 (3 self) – Add To MetaCart
  • Model checking CTL+ is hard  
  • by Is Hard, F. Laroussinie, N. Markey, Ph. Schnoebelen — 2000
  • … Cedex France email: ffl,markey,phsg@(email omitted); Abstract. Among the branching-time temporal logics…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB