The METAFrame'95 Environment

  • Authors:

  • Bernhard Steffen;Tiziana Margaria;Andreas Claßen;Volker Braun

  • Affiliations:

  • -;-;-;-

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

Quantified Score

Hi-index 0.00

Visualization

Abstract