SeolKKPC99'

BibTeX

@inproceedings{DBLP:conf/forte/SeolKKPC99,
  author    = {Soonuk Seol and
               Myungchul Kim and
               Sungwon Kang and
               Yongbum Park and
               Younghan Choe},
  title     = {Interoperability Test Suite Derivation for the TCP},
  booktitle = {FORTE},
  year      = {1999},
  pages     = {357-376},
  crossref  = {DBLP:conf/forte/1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/forte/1999,
  editor    = {Jianping Wu and
               Samuel T. Chanson and
               Qiang Gao},
  title     = {Formal Methods for Protocol Engineering and Distributed
               Systems, FORTE XII / PSTV XIX'99, IFIP TC6 WG6.1 Joint International
               Conference on Formal Description Techniques for Distributed
               Systems and Communication Protocols (FORTE XII) and Protocol
               Specification, Testing and Verification (PSTV XIX), October
               5-8, 1999, Beijing, China},
  booktitle = {FORTE},
  publisher = {Kluwer},
  series    = {IFIP Conference Proceedings},
  volume    = {156},
  year      = {1999},
  isbn      = {0-7923-8646-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}