Customizable tools for verifying concurrent systems

  • Authors:

  • Steven Thomas Sims;Rance Cleaveland

  • Affiliations:

  • -;-

  • Venue:
  • Customizable tools for verifying concurrent systems
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract