IFIP TC 6/WG 6.1 International Symposium on Protocol Specification, Testing and Verification (13th 1993 Liège, Belgium)