Trace Specifications of Non-Deterministic Multi-Object Modules

  • Authors:
  • Michal Iglewski;Marcin Kubica;Jan Madey

  • Affiliations:
  • -;-;-

  • Venue:
  • ACSC '95 Proceedings of the 1995 Asian Computing Science Conference on Algorithms, Concurrency and Knowledge
  • Year:
  • 1995

Quantified Score

Hi-index 0.00

Visualization

Abstract