BibTeX record: conf/forte/KimHPLL98

download as .bib file

@inproceedings{DBLP:conf/forte/KimHPLL98,
  author    = {Tae{-}Hyong Kim and
               Ik{-}Soon Hwang and
               Chan{-}Min Park and
               Jai{-}Yong Lee and
               Sang{-}Bae Lee},
  title     = {Automatic Test Case Generation of Real Protocols: Framework and Methodology},
  booktitle = {Formal Description Techniques and Protocol Specification, Testing
               and Verification, {FORTE} {XI} / {PSTV} XVIII'98, {IFIP} {TC6} {WG6.1}
               Joint International Conference on Formal Description Techniques for
               Distributed Systems and Communication Protocols {(FORTE} {XI)} and
               Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6
               November, 1998, Paris, France},
  pages     = {127--140},
  year      = {1998},
  crossref  = {DBLP:conf/forte/1998},
  timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/forte/KimHPLL98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/forte/1998,
  editor    = {Stanislaw Budkowski and
               Ana R. Cavalli and
               Elie Najm},
  title     = {Formal Description Techniques and Protocol Specification, Testing
               and Verification, {FORTE} {XI} / {PSTV} XVIII'98, {IFIP} {TC6} {WG6.1}
               Joint International Conference on Formal Description Techniques for
               Distributed Systems and Communication Protocols {(FORTE} {XI)} and
               Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6
               November, 1998, Paris, France},
  series    = {{IFIP} Conference Proceedings},
  volume    = {135},
  publisher = {Kluwer},
  year      = {1998},
  isbn      = {0-412-84760-4},
  timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/forte/1998},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}