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.

No reviews for this publication, yet.