Standardisation of Formal Description Techniques for Communication Protocols (Invited Paper)

Chris A. Vissers. Standardisation of Formal Description Techniques for Communication Protocols (Invited Paper). In IFIP Congress. pages 321-328, 1986.