``Sometimes'' and ``Not Never'' Revisited: On Branching versus Linear Time Temporal Logic

authors: E. Allen Emerson, Joseph Y. Halpern

venue (journal): Journal of the Association for Computing Machinery

date: 1986

specification languages

keywords

(nil)

URL

BibTeX

@article{1f68612f-53c1-4265-b7cb-f428a04ba859,
  title = {``Sometimes'' and ``Not Never'' Revisited: On Branching versus Linear Time Temporal Logic},
  author = {E. Allen Emerson AND Joseph Y. Halpern},
  year = {1986},
  journal = {Journal of the Association for Computing Machinery},
}