Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993

André A. S. Danthine Guy Leduc Pierre Wolper Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993 PSTV IFIP Transactions C-16 North-Holland 1993 0-444-81648-8 db/conf/pstv/pstv1993.html