%0 Journal Article %1 journals/ccr/MurphyS87 %A Murphy, Sandra L. %A Shankar, A. Udaya %D 1987 %J Comput. Commun. Rev. %K dblp %N 5 %P 110-125 %T A verified connection management protocol for the transport layer. %U http://dblp.uni-trier.de/db/journals/ccr/ccr17.html#MurphyS87 %V 17

@article{journals/ccr/MurphyS87, added-at = {2022-05-31T00:00:00.000+0200}, author = {Murphy, Sandra L. and Shankar, A. Udaya}, biburl = {https://www.bibsonomy.org/bibtex/28d3d6684e50cea43b31312225c808706/dblp}, ee = {https://doi.org/10.1145/55482.55495}, interhash = {e02ea050e6f1998fac01062595fef6d7}, intrahash = {8d3d6684e50cea43b31312225c808706}, journal = {Comput. Commun. Rev.}, keywords = {dblp}, number = 5, pages = {110-125}, timestamp = {2024-04-08T16:54:48.000+0200}, title = {A verified connection management protocol for the transport layer.}, url = {http://dblp.uni-trier.de/db/journals/ccr/ccr17.html#MurphyS87}, volume = 17, year = 1987 }