The Concurrency Factory: A Development Environment for Concurrent Systems

  • Authors:
  • Rance Cleaveland;Philip M. Lewis;Scott A. Smolka;Oleg Sokolsky

  • Affiliations:
  • -;-;-;-

  • Venue:
  • CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

Abstract