Home › Authors › IFIP TC6/WG6.1 International Symposium on Protocol Specification, Testing and Verification. (13th 1993 Liège, Belgium) 👤 IFIP TC6/WG6.1 International Symposium on Protocol Specification, Testing and Verification. (13th 1993 Liège, Belgium) 1 book Books by IFIP TC6/WG6.1 International Symposium on Protocol Specification, Testing and Verification. (13th 1993 Liège, Belgium) Protocol specification, testing and verification, XIII 1993