BibTeX record conf/acsd/HelouetMM18

download as .bib file

@inproceedings{DBLP:conf/acsd/HelouetMM18,
  author       = {Lo{\"{\i}}c H{\'{e}}lou{\"{e}}t and
                  Herv{\'{e}} Marchand and
                  John Mullins},
  title        = {Concurrent Secrets with Quantified Suspicion},
  booktitle    = {18th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2018, Bratislava, Slovakia, June 25-29, 2018},
  pages        = {75--84},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ACSD.2018.00011},
  doi          = {10.1109/ACSD.2018.00011},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/acsd/HelouetMM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics