Citace podle APA (7th ed.)

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..

Citace podle Chicago (17th ed.)

SpringerLink (Online service), Tevfik Bultan, a Pao-Ann Hsiung. "Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings." Springer EBooks. 2011.

Citace podle MLA (9th ed.)

SpringerLink (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.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..