Searching for "``Sometimes'' and ``Not Never'' revisited on branching versus linear time temporal logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Model Checking Branching Time Logics
by Ph. Schnoebelen
…. Emerson and J. Y. Halpern. “Sometimes” and “Not Never” revisited: On branching versus linear time temporal…
Add To MetaCart

Multi-Agent
by Pascal Van Eck, Multiagent Systems — 386
…. and Halpern, J. Y. (1986). "Sometimes" and "not never" revisited: On branching versus linear time temporal…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB