print · source · login   

Bibliography

RFC793
TRANSMISSION CONTROL PROTOCOL. RFC 793, DARPA INTERNET PROGRAM, PROTOCOL SPECIFICATION, September 1981.
AJUV13
F. Aarts, B. Jonsson, J. Uijen, and F.W. Vaandrager. Generating Models of Infinite-State Communication Protocols using Regular Inference with Abstraction. Technical report ICIS-R13001, ICIS, Radboud University Nijmegen, January 2013. This is the full version of the ICTSS 2010 paper of Aarts, Jonsson, and Uijen. Submitted.
ns2
ns-2 - The network simulator