CervesatoDLMS99'

@inproceedings{DBLP:conf/csfw/CervesatoDLMS99,
  author    = {Iliano Cervesato and
               Nancy A. Durgin and
               Patrick Lincoln and
               John C. Mitchell and
               Andre Scedrov},
  title     = {A Meta-Notation for Protocol Analysis},
  booktitle = {CSFW},
  year      = {1999},
  pages     = {55-69},
  ee        = {http://www.computer.org/proceedings/csfw/0201/02010055abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}