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 = {Proceedings of the Seventh Symposium on Operating System Principles,
               {SOSP} 1979, Asilomar Conference Grounds, Pacific Grove, California,
               USA, 10-12, December 1979},
  pages     = {64--65},
  year      = {1979},
  crossref  = {DBLP:conf/sosp/1979},
  url       = {http://doi.acm.org/10.1145/800215.806571},
  doi       = {10.1145/800215.806571},
  timestamp = {Mon, 22 Jun 2015 17:24:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sosp/WalkerKP79},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sosp/1979,
  editor    = {Michael D. Schroeder and
               Anita K. Jones},
  title     = {Proceedings of the Seventh Symposium on Operating System Principles,
               {SOSP} 1979, Asilomar Conference Grounds, Pacific Grove, California,
               USA, 10-12, December 1979},
  publisher = {{ACM}},
  year      = {1979},
  url       = {http://doi.acm.org/10.1145/800215},
  doi       = {10.1145/800215},
  isbn      = {0-89791-009-5},
  timestamp = {Mon, 22 Jun 2015 17:24:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sosp/1979},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier