"Sometimes" and "Not Never" Revisited: on Branching Versus Linear Time

  • Authors:

  • E. A Emerson;Joseph Y. Halpern

  • Affiliations:

  • -;-

  • Venue:
  • "Sometimes" and "Not Never" Revisited: on Branching Versus Linear Time
  • Year:
  • 1984

Quantified Score

Hi-index 0.00

Visualization

Abstract