A Formal Method for Synthesizing Optimized Protocol Converters and Its Application to Mobile Data Networks

Zhongping Tao, Gregor von Bochmann, Rachida Dssouli. A Formal Method for Synthesizing Optimized Protocol Converters and Its Application to Mobile Data Networks. MONET, 2(3):259-269, 1997.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.