SpringerLink (Online service), Bultan, T., & Hsiung, P. (2011). Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings. Springer eBooks..
Chicago Style (17th ed.) CitationSpringerLink (Online service), Tevfik Bultan, and Pao-Ann Hsiung. "Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings." Springer EBooks. 2011.
MLA (9th ed.) CitationSpringerLink (Online service), et al. "Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings." Springer EBooks., 2011.
Warning: These citations may not always be 100% accurate.