Richard Lai, Ken R. Parker, Tharam S. Dillon
On Using Protean To Verify ISO FTAM Protocol
CAV, 1990.
@inproceedings{CAV-1990-LaiPD,
author = "Richard Lai and Ken R. Parker and Tharam S. Dillon",
booktitle = "{Proceedings of the Second International Workshop on Computer Aided Verification}",
doi = "10.1007/BFb0023726",
isbn = "3-540-54477-1",
pages = "126--135",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{On Using Protean To Verify ISO FTAM Protocol}",
volume = 531,
year = 1990,
}