Harry Rudin, Colin H. West, Pitro Zafiropulo. Automated Protocol Validation: One Chain of Development. Computer Networks, 2:373-380, 1978.
@article{RudinWZ78, title = {Automated Protocol Validation: One Chain of Development}, author = {Harry Rudin and Colin H. West and Pitro Zafiropulo}, year = {1978}, tags = {protocol}, researchr = {https://researchr.org/publication/RudinWZ78}, cites = {0}, citedby = {0}, journal = {Computer Networks}, volume = {2}, pages = {373-380}, }