DBLP Record 'conf/csfw/DenkerMGF00'

BibTeX

@inproceedings{DBLP:conf/csfw/DenkerMGF00,
  author    = {Grit Denker and
               Jonathan K. Millen and
               Antonio Grau and
               Juliana K{\"u}ster Filipe},
  title     = {Optimizing Protocol Rewrite Rules of CIL Specifications},
  booktitle = {CSFW},
  year      = {2000},
  pages     = {52-62},
  ee        = {http://www.computer.org/proceedings/csfw/0671/06710052abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}