Verification Results for ISO FTAM Basic Protocol

• Authors:

• Richard Lai;Tharam S. Dillon;Ken R. Parker

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX
• Year:
• 1989