Back to Results
First PageMeta Content
Computer architecture / System software / Computing / C POSIX library / System calls / POSIX / Network file systems / Inode / Andrew File System / Stat / File system / Virtual file system


A Formal Model of a Virtual Filesystem Switch ∗ Gidon Ernst Gerhard Schellhorn Dominik Haneberg
Add to Reading List

Document Date: 2017-01-11 10:43:20


Open Document

File Size: 234,04 KB

Share Result on Facebook
UPDATE