APA (7th ed.) Citation

Andova, S., Cremers, C., Gjosteen, K., Mauw, S., Mjolsnes, S., & Radomirovic, S. (2006). A framework for compositional verification of security protocols.

Chicago Style (17th ed.) Citation

Andova, S., C. Cremers, K. Gjosteen, S. Mauw, S. Mjolsnes, and S. Radomirovic. A Framework for Compositional Verification of Security Protocols. 2006.

MLA (9th ed.) Citation

Andova, S., et al. A Framework for Compositional Verification of Security Protocols. 2006.