TY  - RPRT
TI  - A Formal Model of a Virtual Filesystem Switch
AU  - Gidon Ernst
AU  - Gerhard Schellhorn
AU  - Dominik Haneberg
AU  - Jörg Pfähler
AU  - Wolfgang Reif
PY  - 2012
DO  - 10.4204/eptcs.102.5
UR  - https://arxiv.org/abs/1211.6187
ID  - 1211.6187
ER  -