Formalisation of behavioural and structural concepts for communication systems

• Authors:

• Paul King;Graeme Smith

• Affiliations:

• -;-

• Venue:
• Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
• Year:
• 1990