Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture Notes in Computer Science)

  • Authors:

  • Doron A. Peled;Yih-Kuen Tsay

  • Affiliations:

  • -;-

  • Venue:
  • Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture Notes in Computer Science)
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract