BibTeX record conf/asplos/BanabicCG14

download as .bib file

@inproceedings{DBLP:conf/asplos/BanabicCG14,
  author    = {Radu Banabic and
               George Candea and
               Rachid Guerraoui},
  title     = {Finding trojan message vulnerabilities in distributed systems},
  booktitle = {{ASPLOS}},
  pages     = {113--126},
  publisher = {{ACM}},
  year      = {2014}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics