BibTeX record conf/sosp/WalkerKP79

download as .bib file

@inproceedings{DBLP:conf/sosp/WalkerKP79,
  author    = {Bruce J. Walker and
               Richard A. Kemmerer and
               Gerald J. Popek},
  title     = {Specification and Verification of the {UCLA} Unix Security Kernel
               (Extended Abstract)},
  booktitle = {{SOSP}},
  pages     = {64--65},
  publisher = {{ACM}},
  year      = {1979}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics