DBLP Record 'conf/sigopsE/EnglerKO94'

BibTeX

@inproceedings{DBLP:conf/sigopsE/EnglerKO94,
  author    = {Dawson R. Engler and
               M. Frans Kaashoek and
               James O'Toole},
  title     = {The Operating System Kernel as a Secure Programmable Machine},
  booktitle = {ACM SIGOPS European Workshop},
  year      = {1994},
  pages     = {62-67},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}