Process Semantics of Temporal Logic Specifications

  • Authors:

  • José Luiz Fiadeiro;José Félix Costa;Amílcar Sernadas;T. S. E. Maibaum

  • Affiliations:

  • -;-;-;-

  • Venue:
  • Selected papers from the 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop on Recent Trends in Data Type Specification
  • Year:
  • 1991

Quantified Score

Hi-index 0.00

Visualization

Abstract