Second IFIP WG6.1 workshop on protocol specification, testing and verification

• 1 December 1982
• journal article
• research article
• Published by Elsevier in Computer Networks (1976)
• Vol. 6  (6) , 443-449
• https://doi.org/10.1016/0376-5075(82)90113-1

Abstract

Keywords

• SECOND IFIP
• IFIP WG6.1
• WG6.1 WORKSHOP
• PROTOCOL SPECIFICATION
• VERIFICATION