Inproceedings,
A Formal Description of the UNIX Operating System.
T. Jr., and A. Giacalone.PODC, page 241-253. ACM, (1983)
Meta data
- BibTeX key
- conf/podc/DoeppnerG83
- entry type
- inproceedings
- booktitle
- PODC
- year
- 1983
- pages
- 241-253
- publisher
- ACM
- crossref
- conf/podc/1983
- ee
- https://doi.org/10.1145/800221.806725
- isbn
- 0-89791-110-5
- url
- http://dblp.uni-trier.de/db/conf/podc/podc83.html#DoeppnerG83
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/podc/DoeppnerG83
%A Jr., Thomas W. Doeppner
%A Giacalone, Alessandro
%B PODC
%D 1983
%E Probert, Robert L.
%E Lynch, Nancy A.
%E Santoro, Nicola
%I ACM
%K dblp
%P 241-253
%T A Formal Description of the UNIX Operating System.
%U http://dblp.uni-trier.de/db/conf/podc/podc83.html#DoeppnerG83
%@ 0-89791-110-5
@inproceedings{conf/podc/DoeppnerG83,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Jr., Thomas W. Doeppner and Giacalone, Alessandro},
biburl = {https://www.bibsonomy.org/bibtex/23196cb02d66c24d37cc33cfc9b8c69d4/dblp},
booktitle = {PODC},
crossref = {conf/podc/1983},
editor = {Probert, Robert L. and Lynch, Nancy A. and Santoro, Nicola},
ee = {https://doi.org/10.1145/800221.806725},
interhash = {b61e3640870720bd1b4e9684c88fa858},
intrahash = {3196cb02d66c24d37cc33cfc9b8c69d4},
isbn = {0-89791-110-5},
keywords = {dblp},
pages = {241-253},
publisher = {ACM},
timestamp = {2024-04-09T20:42:21.000+0200},
title = {A Formal Description of the UNIX Operating System.},
url = {http://dblp.uni-trier.de/db/conf/podc/podc83.html#DoeppnerG83},
year = 1983
}