BibTeX record conf/apsys/GuVFSC11

download as .bib file

@inproceedings{DBLP:conf/apsys/GuVFSC11,
  author    = {Liang Gu and
               Alexander Vaynberg and
               Bryan Ford and
               Zhong Shao and
               David Costanzo},
  editor    = {Haibo Chen and
               Zheng Zhang and
               Sue Moon and
               Yuanyuan Zhou},
  title     = {CertiKOS: a certified kernel for secure cloud computing},
  booktitle = {APSys '11 Asia Pacific Workshop on Systems, Shanghai, China, July
               11-12, 2011},
  pages     = {3},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/2103799.2103803},
  doi       = {10.1145/2103799.2103803},
  timestamp = {Thu, 14 Oct 2021 10:09:47 +0200},
  biburl    = {https://dblp.org/rec/conf/apsys/GuVFSC11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics