Computer Aided Verification of Parallel Processes

  • Authors:

  • Klaus Estenfeld;Hans-Albert Schneider;Dirk Taubner;Erik Tidén

  • Affiliations:

  • -;-;-;-

  • Venue:
  • VIS '91 Verläßliche Informationssysteme, GI-Fachtagung
  • Year:
  • 1991

Quantified Score

Hi-index 0.01

Visualization

Abstract