On Using Protean To Verify ISO FTAM Protocol.

Richard Lai, Ken R. Parker, Tharam S. Dillon

Browse the full CAV paper archive.