Hiroshi Inamura, Osamu Takahashi, Taro Ishikawa, Hiroshi Shigeno, Ken-ichi Okada. Automating Detection of Faults in TCP Implementations. In 18th International Conference on Advanced Information Networking and Applications (AINA 2004), 29-31 March 2004, Fukuoka, Japan. pages 315-320, IEEE Computer Society, 2004. [doi]
@inproceedings{InamuraTISO04, title = {Automating Detection of Faults in TCP Implementations}, author = {Hiroshi Inamura and Osamu Takahashi and Taro Ishikawa and Hiroshi Shigeno and Ken-ichi Okada}, year = {2004}, url = {http://csdl.computer.org/comp/proceedings/aina/2004/2051/01/205110315abs.htm}, researchr = {https://researchr.org/publication/InamuraTISO04}, cites = {0}, citedby = {0}, pages = {315-320}, booktitle = {18th International Conference on Advanced Information Networking and Applications (AINA 2004), 29-31 March 2004, Fukuoka, Japan}, publisher = {IEEE Computer Society}, isbn = {0-7695-2051-0}, }