BibTeX record conf/tmfcs/MartinhoR08

download as .bib file

@inproceedings{DBLP:conf/tmfcs/MartinhoR08,
  author    = {Joana Martinho and
               Ant{\'{o}}nio Ravara},
  title     = {Encoding cryptographic primitives in a calculus with polyadic synchronization},
  booktitle = {{TMFCS}},
  pages     = {102--109},
  publisher = {{ISRST}},
  year      = {2008}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics