Applying Formal Methods to a Protocol Standard and its Implementations

• Authors:

• G. Bruns;M. Staskauskas

• Affiliations:

• -;-

• Venue:
• PDSE '98 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems
• Year:
• 1998