Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop

  • Authors:

  • J. W. de Bakker;Willem P. de Roever;Grzegorz Rozenberg

  • Affiliations:

  • -;-;-

  • Venue:
  • Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
  • Year:
  • 1989

Quantified Score

Hi-index 0.00

Visualization

Abstract