Protocol specification, testing and verification, VI proceedings of the IFIP WG6.1 sixth International Workshop on Protocol Specification Testing, and Verification organized by Concordia University and Université de Montréal Montreal, Quebec, Canada, June 10-13, 1986

IFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification (6th (Montreal, Quebec) 1986) Behcet Sarikaya; Gregor V Bochmann 1941-; Concordia University; Université de Montréal

Amsterdam Oxford North-Holland 1987

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