Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

  • Authors:

  • Tiziana Margaria;Wang Yi

  • Affiliations:

  • -;-

  • Venue:
  • TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract