BibTeX record journals/ton/SmithR02

download as .bib file

@article{DBLP:journals/ton/SmithR02,
  author    = {Mark A. Smith and
               K. K. Ramakrishnan},
  title     = {Formal specification and verification of safety and performance of
               {TCP} selective acknowledgement},
  journal   = {{IEEE/ACM} Trans. Netw.},
  volume    = {10},
  number    = {2},
  pages     = {193--207},
  year      = {2002},
  url       = {http://portal.acm.org/citation.cfm?id=508329},
  timestamp = {Thu, 03 Nov 2011 17:03:49 +0100},
  biburl    = {https://dblp.org/rec/journals/ton/SmithR02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics