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.
