Protocol specification, testing and verification：proceedings of the ... , Liege, Belgium, 25 - 28 May, 1993

Corporate Authors: IFIP TC6/WG6.1 International Symposium on Protocol Specification, Testing and Verification (13th 1993 Liege, Belgium
Group Author: Danthine A; Leduc G; Wolper P
Published: North-Holland,
Publication Dates: 1993.
Call Number: TP30-532/I61.2/1993/