DaftarIsitemplate

Call Number

004 Int c

Title

Using compositional preorders in the verification of sliding window protocol, (LNCS-Lecture Notes in Computer Science 1254) Hal 48-59

Author

Roope Kaivola;

Publisher

Springer, 1997

Subject

Location