FurqanGM04'

@inproceedings{DBLP:conf/icete/FurqanGM04,
  author    = {Zeeshan Furqan and
               Ratan K. Guha and
               Shahabuddin Muhammad},
  title     = {A Heuristic State Space Search Model for Security Protocol
               Verification},
  booktitle = {ICETE (2)},
  year      = {2004},
  pages     = {113-118},
  crossref  = {DBLP:conf/icete/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icete/2004,
  editor    = {Jo{\~a}o Ascenso and
               Carlos Belo and
               Luminita Vasiu and
               M{\'o}nica Saramago and
               Helder Coelhas},
  title     = {ICETE 2004, 1st International Conference on E-Business and
               Telecommunication Networks, Set{\'u}bal, Portugal, August
               24-28, 2004, Proceedings},
  booktitle = {ICETE},
  publisher = {INSTICC Press},
  year      = {2004},
  isbn      = {972-8865-15-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}