PapapanagiotakisAP86'

BibTeX

@inproceedings{DBLP:conf/icdcs/PapapanagiotakisAP86,
  author    = {Giorgos Papapanagiotakis and
               Pierre Az{\'e}ma and
               Brigitte Pradin-Chezalviel},
  title     = {On a Prolog Environment for Protocol Analysis},
  booktitle = {ICDCS},
  year      = {1986},
  pages     = {444-451},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}