DBLP Record 'conf/cata/ChungS98'

BibTeX

@inproceedings{DBLP:conf/cata/ChungS98,
  author    = {Anthony Chung and
               Deepinder P. Sidhu},
  title     = {A formal description technique and an environment for protocol
               engineering},
  booktitle = {Computers and Their Applications},
  year      = {1998},
  pages     = {131-135},
  crossref  = {DBLP:conf/cata/1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/cata/1998,
  editor    = {Narayan C. Debnath},
  title     = {Computers and Their Applications (CATA-98), Proceedings
               of the ISCA 13th International Conference, Honolulu, Hawaii,
               USA, March 25-27, 1998},
  booktitle = {Computers and Their Applications},
  publisher = {ISCA},
  year      = {1998},
  isbn      = {1-880843-23-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}