Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings (Lecture Notes in Computer Science)

  • Authors:

  • Susanne Graf;Wenhui Zhang

  • Affiliations:

  • -;-

  • Venue:
  • Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings (Lecture Notes in Computer Science)
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract