On using protean to verify ISO FTAM protocol

Lecture Notes in Computer Science - Computer-Aided Verification ◽

10.1007/bfb0023726 ◽

2005 ◽

pp. 126-135

Author(s):

R. Lai ◽

K. R. Parker ◽

T. S. Dillon

Download Full-text