DaftarIsitemplate

Call Number

005.133 Gab l

Title

Formalization and verification of interaction protocols, ((LNCS-Lecture Notes in Computer Science 3668) Hal 437-438

Author

Federico Chesani;

Publisher

Springer, 2005

Subject

Location