BibTeX record conf/hotdep/TartlerKHRRDKSL12

• > Home > conf/hotdep/TartlerKHRRDKSL12

@inproceedings{DBLP:conf/hotdep/TartlerKHRRDKSL12,
  author       = {Reinhard Tartler and
                  Anil Kurmus and
                  Bernhard Heinloth and
                  Valentin Rothberg and
                  Andreas Ruprecht and
                  Daniela Dorneanu and
                  R{\"{u}}diger Kapitza and
                  Wolfgang Schr{\"{o}}der{-}Preikschat and
                  Daniel Lohmann},
  editor       = {Michael J. Freedman and
                  Neeraj Suri},
  title        = {Automatic {OS} Kernel {TCB} Reduction by Leveraging Compile-Time Configurability},
  booktitle    = {Proceedings of the Eighth Workshop on Hot Topics in System Dependability,
                  HotDep 2012, Hollywood, CA, USA, October 7, 2012},
  publisher    = {{USENIX} Association},
  year         = {2012},
  url          = {https://www.usenix.org/conference/hotdep12/workshop-program/presentation/tartler},
  timestamp    = {Tue, 02 Feb 2021 08:01:04 +0100},
  biburl       = {https://dblp.org/rec/conf/hotdep/TartlerKHRRDKSL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}