Huai-An Lin, Ming T. Liu, Charles J. Graff. Verification of a methodology for designing reliable communication protocols. In Kenneth J. Thurber, William Lidinsky, editors, SIGCOMM '83, Proceedings of the Eighth Symposium on Data Communications, North Falmouth, Massachusetts, USA, October 3-6, 1983. pages 141-149, ACM, 1983. [doi]
Abstract is missing.