A Proof of Protocol Correctness

Jan K. Pachl. A Proof of Protocol Correctness. ITA, 28(3-4):213-220, 1994.

Abstract

Abstract is missing.