An integrated approach to verification and performance analysis of communication protocols

• Authors:

• Ming T. Liu;Fuchun Joseph Lin

• Affiliations:

• -;-

• Venue:
• An integrated approach to verification and performance analysis of communication protocols
• Year:
• 1988