A Formal Approach To The Protocol Converter Problem.

Karin Avnit, Vijay D'Silva, Arcot Sowmya, S. Ramesh, Sri Parameswaran

Browse the full DATE paper archive.