Journal of the ACM Bibliography

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. [BibTeX entry]
Selected papers that cite this one


  • Journal of the ACM homepage
  • Bibliography top level
  • Journal of the ACM Author Index
  • Search the HBP database