Glenn Bruns, Stuart Anderson. The Formalization and Analysis of a Communications Protocol. Formal Asp. Comput., 6(1):92-112, 1994.
@article{BrunsA94, title = {The Formalization and Analysis of a Communications Protocol}, author = {Glenn Bruns and Stuart Anderson}, year = {1994}, tags = {protocol, analysis}, researchr = {https://researchr.org/publication/BrunsA94}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {6}, number = {1}, pages = {92-112}, }