Bing Han, Jonathan Billington. Termination Properties of TCP s Connection Management Procedures. In Gianfranco Ciardo, Philippe Darondeau, editors, Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings. Volume 3536 of Lecture Notes in Computer Science, pages 228-249, Springer, 2005. [doi]
@inproceedings{HanB05:2,
title = {Termination Properties of TCP s Connection Management Procedures},
author = {Bing Han and Jonathan Billington},
year = {2005},
doi = {10.1007/11494744_14},
url = {http://dx.doi.org/10.1007/11494744_14},
tags = {termination},
researchr = {https://researchr.org/publication/HanB05%3A2},
cites = {0},
citedby = {0},
pages = {228-249},
booktitle = {Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings},
editor = {Gianfranco Ciardo and Philippe Darondeau},
volume = {3536},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-26301-2},
}