DaftarIsitemplate

Call Number

005.133 Gab l

Title

PS-LTL for constraint-based security protocol analysis, (LNCS-Lecture Notes in Computer Science 3668) Hal 439-440

Author

Ricardo Corin; Ari Saptawijaya; Sandro Etalle;

Publisher

Springer, 2005

Subject

Location