A temporal proof methodology for reactive systems

  • Authors:

  • Z. Manna;A. Pnueli

  • Affiliations:

  • -;-

  • Venue:
  • JCIT Proceedings of the fifth Jerusalem conference on Information technology
  • Year:
  • 1990

Quantified Score

Hi-index 0.00

Visualization

Abstract