On Using Protean To Verify ISO FTAM Protocol

• Authors:

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

• Affiliations:

• -;-;-

• Venue:
• CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
• Year:
• 1990