ClarkeJM98'

BibTeX

@inproceedings{DBLP:conf/procomet/ClarkeJM98,
  author    = {Edmund M. Clarke and
               Somesh Jha and
               Wilfredo R. Marrero},
  title     = {Using state space exploration and a natural deduction style
               message derivation engine to verify security protocols},
  booktitle = {PROCOMET},
  year      = {1998},
  pages     = {87-106},
  crossref  = {DBLP:conf/procomet/1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/procomet/1998,
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods (PROCOMET
               '98) 8-12 June 1998, Shelter Island, New York, USA},
  booktitle = {PROCOMET},
  publisher = {Chapman {\&} Hall},
  series    = {IFIP Conference Proceedings},
  volume    = {125},
  year      = {1998},
  isbn      = {0-412-83760-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}