ATVA 2006 Beijing, China, SpringerLink (Online service), Graf, S., & Zhang, W. Automated technology for vertification and analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings.
Chicago Style (17th ed.) CitationATVA 2006 Beijing, China, SpringerLink (Online service), Susanne Graf, and Wenhui Zhang. Automated Technology for Vertification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings.
MLA (8th ed.) CitationATVA 2006 Beijing, China, et al. Automated Technology for Vertification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings.
Warning: These citations may not always be 100% accurate.