Discovering chatter and incompleteness in the Datagram Congestion Control Protocol. Vanit-Anunchai, S., Billington, J., & Kongprakaiwoot, T. In Formal Techniques for Networked and Distributed Systems-FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings 25, pages 143–158, 2005. Springer Berlin Heidelberg.
bibtex   
@inproceedings{vanit2005discovering,
  title={Discovering chatter and incompleteness in the Datagram Congestion Control Protocol},
  author={Vanit-Anunchai, Somsak and Billington, Jonathan and Kongprakaiwoot, Tul},
  booktitle={Formal Techniques for Networked and Distributed Systems-FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings 25},
  pages={143--158},
  year={2005},
  organization={Springer Berlin Heidelberg}
}

Downloads: 0