``Sometimes'' and ``Not Never'' revisited: on branching versus linear time temporal logic.
E. Allen Emerson, Joseph Y. Halpern:
``Sometimes'' and ``Not Never'' revisited: on branching versus linear time temporal logic.
J. ACM 33(1): 151-178(1986)@article{DBLP:journals/jacm/EmersonH86,
author = {E. Allen Emerson and
Joseph Y. Halpern},
title = {``Sometimes'' and ``Not Never'' revisited: on branching versus
linear time temporal logic},
journal = {J. ACM},
volume = {33},
number = {1},
year = {1986},
pages = {151-178},
ee = {db/journals/jacm/EmersonH86.html, http://doi.acm.org/10.1145/4904.4999},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
BibTeX
Online Edition
Citation Page
BibTeX
Referenced by
- Munindar P. Singh, Michael N. Huhns, Larry M. Stephens:
Declarative Representations of Multiagent Systems.
IEEE Trans. Knowl. Data Eng. 5(5): 721-739(1993)
BibTeX
Copyright © Sun May 17 00:05:44 2009
by Michael Ley (ley@uni-trier.de)