Specification, Synthesis, Verification and Performance Analysis ofDistributed Programs

  • Authors:

  • K. M Chandy;Jayadev Misra

  • Affiliations:

  • -;-

  • Venue:
  • Specification, Synthesis, Verification and Performance Analysis ofDistributed Programs
  • Year:
  • 1978

Quantified Score

Hi-index 0.00

Visualization

Abstract