Formal Methods for Protocol Conversion

Kenneth L. Calvert, Simon S. Lam. Formal Methods for Protocol Conversion. IEEE Journal on Selected Areas in Communications, 8(1):127-142, 1990.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.