Exploring filesystem synchronization with lightweight modeling and analysis
Author(s)
Nolte, Tina Ann, 1979-
DownloadFull printable version (4.529Mb)
Other Contributors
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science.
Advisor
Daniel Jackson.
Terms of use
Metadata
Show full item recordDescription
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2002. Includes bibliographical references (p. 42-43).
Date issued
2002Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer SciencePublisher
Massachusetts Institute of Technology
Keywords
Electrical Engineering and Computer Science.