"A Formal Model of a Virtual Filesystem Switch"

Gidon Ernst et al. (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics