Protocol validation by synthesizing communications system behaviors

Sung Y. Bang, Peter A. Ng, Paul K. Blackwell. Protocol validation by synthesizing communications system behaviors. Inf. Sci., 24(2):163-186, 1981. [doi]

Abstract

Abstract is missing.