We are experiencing some difficulties with our submission forms, which we are working to resolve. If you have any issues, please contact us at dspace-lib@mit.edu.

Verifying Distributed Algorithms via Dynamic Analysis and Theorem Proving

Thumbnail Image
Download
Name

MIT-LCS-TR-841.pdf

Size

301 KB

Format

Adobe PDF

Checksum (MD5)

2dd91c9dcc9c4d520fad5882fb503e68

Author(s)
Ne Win, Toh
•
Ernst, Michael D.
Date Issued
May 2002
Series/Report no.
MIT-LCS-TR-841
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.