Sung Y. Bang, Peter A. Ng, Paul K. Blackwell. Protocol validation by synthesizing communications system behaviors. Inf. Sci., 24(2):163-186, 1981. [doi]
@article{BangNB81, title = {Protocol validation by synthesizing communications system behaviors}, author = {Sung Y. Bang and Peter A. Ng and Paul K. Blackwell}, year = {1981}, doi = {10.1016/0020-0255(81)90018-9}, url = {http://dx.doi.org/10.1016/0020-0255(81)90018-9}, tags = {protocol}, researchr = {https://researchr.org/publication/BangNB81}, cites = {0}, citedby = {0}, journal = {Inf. Sci.}, volume = {24}, number = {2}, pages = {163-186}, }