Protocol design and implementation using formal methods

• Authors:

• M. van Sinderen;L. Ferreira Pires;C. A. Vissers

• Affiliations:

• -;-;-

• Venue:
• The Computer Journal - Special issue on formal methods: part 1
• Year:
• 1992