An Estelle-based incremental protocol design system

• Authors:

• Chung-Ming Huang;Jenq-Muh Hsu;Huei-Yang Lai;Duen-Tay Huang;Jao-Chiang Pong

• Affiliations:

• -;-;-;-;-

• Venue:
• Journal of Systems and Software
• Year:
• 1997