DaftarIsitemplate

Call Number

004.33 Jos f

Title

Compositional verification of synchronous networks, (LNCS-Lecture Notes in Computer Science 1926) Hal 214-227

Author

Leszek Holenderski;

Publisher

Springer, 2000

Subject

Location