01164nam a22002411 4500 1/18442 020108s1992 enk 1 eng d 0444898743 18982 DLC GR-PeUP 004.62 PR IFIP TC6/WG6.1 International Symposium on Protocol Specification, Testing and Verification (12th : 1992 : Lake Buena Vista, Fla.) Protocol specification, testing and verification, XII : proceedings of the IFIP TC6/WG6.1. twel[f]th International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992 / edited by R.J. Linn, M.U. Uyar Amsterdam : North-Holland, 1992 xi, 415 p. : ill. ; 23 cm. IFIP transactions. Communication systems ; Includes bibliographical references and index Computer network protocols. Linn, Jerry R. ed. Uyar, M.U. ed. IFIP transactions. Communication systems. INST UNIPILB MAIN 20040709 004.62 PR 00137739 00137739 LOAN 0 1 /webopac/covers/01/18982_0444898743.jpg