BibTeX record conf/pods/CasanovaMT85

download as .bib file

@inproceedings{DBLP:conf/pods/CasanovaMT85,
  author    = {Marco A. Casanova and
               Arnaldo V. Moura and
               Luiz Tucherman},
  title     = {On the Correctness of a Local Storage Subsystem},
  booktitle = {{PODS}},
  pages     = {123--134},
  publisher = {{ACM}},
  year      = {1985}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics