Gaya APA

Armando, A., Compagna, L. (2007). Springer Verlag : SAT-based model-checking for security protocols analysis . : Springer-Verlag.

Gaya MLA

Armando, Alessandro., Compagna, Luca. "Springer Verlag : SAT-based model-checking for security protocols analysis". : Springer-Verlag, 2007. Jurnal Internasional Ilmu Komp.