APA Citation

Cremers, C. (2012). Operational semantics and verification of security protocols. Springer-Verlag.

Chicago Style Citation

Cremers, Cas. Operational Semantics and Verification of Security Protocols. Springer-Verlag, 2012.

MLA Citation

Cremers, Cas. Operational Semantics and Verification of Security Protocols. Springer-Verlag, 2012.

Warning: These citations may not always be 100% accurate.