Protocol specification, testing, and verification, V proceedings of the IFIP WG 6.1 fifth International Workshop on Protocol Specification, Testing, and Verification organized by the LAAS du CNRS, Toulouse-Moissac, France, June 10-13, 1985

IFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification (5th 1985 Toulouse-Moissac) Michel Diaz 1945-; Centre national de la recherche scientifique (France) Laboratoire d'automatique et d'analyse des systèmes

Amsterdam Oxford North-Holland 1986

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004.772 If5p 5. )(Acessar)