Functional approach to protocols specification

• Authors:

• Jakub Bojanowski;Michal Iglewski;Jan Madey;Abdellatif Obaid

• Affiliations:

• -;-;-;-

• Venue:
• PSTV '94 Proceedings of the fourteenth of a series of annual meetings on Protocol specification, testing and verification XIV
• Year:
• 1995