Verification of the MultiStream Protocol (MSP) using COSPAN

• Authors:

• Thomas F. La Porta;Mischa Schwartz

• Affiliations:

• -;-

• Venue:
• Formal Methods in System Design
• Year:
• 1994