Alloy Community

User login

Exploring Filesystem Synchronization with Lightweight Modeling and Analysis

Authors: 
Tina Nolte
Publication Venue: 
MIT Masters thesis
When Published: 
Aug 1 2002


Attachment


Size
tnolte_masters.pdf455.93 KB

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte