A Study on the Specification and Verification of Performance Properties (Extended Abstract)

  • Authors:

  • Xiao Jun Chen;Flavio Corradini;Roberto Gorrieri

  • Affiliations:

  • -;-;-

  • Venue:
  • AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
  • Year:
  • 1996

  • Scheduling Algebra

    AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology

Quantified Score

Hi-index 0.00

Visualization

Abstract