print · source · login   

Bibliography

FJV16
P. Fiterau-Brostean, R. Janssen and F.W. Vaandrager. Combining Model Learning and Model Checking to Analyze TCP Implementations. In S. Chaudhuri and A. Farzan, editors. Proceedings Computer Aided Verification - 28th International Conference (CAV 2016), Part II, Toronto, ON, Canada, July 17-23, 2016. LNCS 9780, pp. 454-471, Springer, 2016.
FJV17
P. Fiterau-Brostean, R. Janssen and F.W. Vaandrager. Source code and data relevant for the paper 'Combining Model Learning and Model Checking to Analyze TCP Implementations'. DANS. https://doi.org/10.17026/dans-xhw-8tyc
RFC793
TRANSMISSION CONTROL PROTOCOL. RFC 793, DARPA INTERNET PROGRAM, PROTOCOL SPECIFICATION, September 1981.