Protocol specification, testing and verification, XIII
Subtitle: proceedings of the IFIP TC6/WG6.1. thirteenth International Symposium on Protocol Specification, Testing and Verification, Liége, Belgium, 25-28 May, 1993
By: edited by A.Danthine, G. Leduc, P. Wolper.
Contributors: Danthine, André.; Leduc, G.; Wolper, P.; International Federation for Information Processing. Technical Committee 6.
Series: IFIP transactions -- C-16.
Publisher: North-Holland
Published: 1993
Place of publication: Amsterdam; London
Language: eng
Number of pages: 380