Formal description techniques and protocol specification, testing and verification : FORTE XI/PSTV XVIII'98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3-6 November 1998, Paris, France /
IFIP TC6 WG6.1 joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols(1998 :Paris, France)
Budkowski, Stan.
Cavalli, Ana.
Najm, Elie.
IFIP TC6 WG6.1 International Conference on Protocol Specification, Testing and Verification(1998 :Paris, France)
Boston ; London : Kluwer Academic Publishers,
c1998.
Includes bibliographical references and index.
Electronic data processing
Computer network protocols