International Symposium on Protocol Specification, Testing and Verification,, 13, Protocol specification, testing and verification : proceedings / Thirteenth International Symposium... ; ed. A. Danthine, G. Leduc, P. Wolper

Protocol specification, testing and verification : proceedings / Thirteenth International Symposium... ; ed. A. Danthine, G. Leduc, P. Wolper . - Amsterdam : North-Holland, 1993 . - XII, 380 p. 23 cm . - (IFIP transactions C., Communication systems; 16)
0-444-81648-8 (Brochado)

681.324
519.81