H. Paul Lin. Modeling a transport layer protocol using first-order logic. In Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, 1986, Stowe, Vermont, United States August 5-7, 1986. pages 92-100, ACM, 1986. [doi]
@inproceedings{Lin86:0,
title = {Modeling a transport layer protocol using first-order logic},
author = {H. Paul Lin},
year = {1986},
doi = {10.1145/18172.18184},
url = {http://doi.acm.org/10.1145/18172.18184},
tags = {modeling, protocol, logic},
researchr = {https://researchr.org/publication/Lin86%3A0},
cites = {0},
citedby = {0},
pages = {92-100},
booktitle = {Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, 1986, Stowe, Vermont, United States August 5-7, 1986},
publisher = {ACM},
isbn = {0-89791-201-2},
}