@misc{indiciae62d443f1a933,
  title = {A Formal Model of a Virtual Filesystem Switch},
  author = {Gidon Ernst and Gerhard Schellhorn and Dominik Haneberg and Jörg Pfähler and Wolfgang Reif},
  year = {2012},
  doi = {10.4204/eptcs.102.5},
  url = {https://arxiv.org/abs/1211.6187},
  note = {Source identifier: 1211.6187}
}