``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
- https://dx.doi.org/10.1145/4904.4999 (auto-generated link)
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}, }