APA (7th ed.) Citation

SpringerLink (Online service), Degano, P., & Viganò, L. (2009). Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers. Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Pierpaolo Degano, and Luca Viganò. Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers. Springer Berlin Heidelberg, 2009.