Citace podle APA (7th ed.)

SpringerLink (Online service), Armando, A., & Lowe, G. (2011). Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers. Springer eBooks..

Citace podle Chicago (17th ed.)

SpringerLink (Online service), Alessandro Armando, a Gavin Lowe. "Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers." Springer EBooks. 2011.

Citace podle MLA (9th ed.)

SpringerLink (Online service), et al. "Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers." Springer EBooks., 2011.

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