BibTeX record journals/corr/abs-1211-6187

download as .bib file

@inproceedings{DBLP:journals/corr/abs-1211-6187,
  author    = {Gidon Ernst and
               Gerhard Schellhorn and
               Dominik Haneberg and
               J{\"{o}}rg Pf{\"{a}}hler and
               Wolfgang Reif},
  title     = {A Formal Model of a Virtual Filesystem Switch},
  booktitle = {{SSV}},
  series    = {{EPTCS}},
  volume    = {102},
  pages     = {33--45},
  year      = {2012}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics