Towards the minimum set of primitive relations in temporal logic

  • Authors:
  • M. Zhu;N. K. Loh;P. Siy

  • Affiliations:
  • Oakland Univ., Rochester, MI;Oakland Univ., Rochester, MI;Wayne State Univ., Detroit, MI

  • Venue:
  • Information Processing Letters
  • Year:
  • 1987

Quantified Score

Hi-index 0.89

Visualization

Abstract