Certifying a crash-safe file system
Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2016.
| Váldodahkki: | |
|---|---|
| Eará dahkkit: | |
| Materiálatiipa: | Oahppočájánas |
| Giella: | eng |
| Almmustuhtton: |
Massachusetts Institute of Technology
2017
|
| Fáttát: | |
| Liŋkkat: | http://hdl.handle.net/1721.1/107325 |
| Čoahkkáigeassu: | Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2016. |
|---|