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 Berlin Heidelberg.
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. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.
MLA (8th 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 Berlin Heidelberg, 2011.
Warning: These citations may not always be 100% accurate.
