A Formal Description of the UNIX Operating System - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Thomas W. Doeppner Jr., Alessandro Giacalone. A Formal Description of the UNIX Operating System. In PODC. pages 241-253, 1983.

@inproceedings{DoeppnerG83,
  title = {A Formal Description of the UNIX Operating System},
  author = {Thomas W. Doeppner Jr. and Alessandro Giacalone},
  year = {1983},
  tags = {operating system},
  researchr = {https://researchr.org/publication/DoeppnerG83},
  cites = {0},
  citedby = {0},
  pages = {241-253},
  booktitle = {PODC},
}

runs on WebDSL