E. Allen Emerson
E. Allen Emerson and Joseph Y. Halpern.
``Sometimes'' and ``not never'' revisited: On branching versus linear time temporal logic.
Journal of the ACM
, 33(1):151-178, January 1986.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database