| LCS Publication Details |
| Publication Title: | Verifying Distributed Algorithms via Dynamic Analysis and Theorem Proving |
| Publication Author: | Ne Win, Toh |
| Additional Authors: | Michael Ernst |
| LCS Document Number: | MIT-LCS-TR-841 |
| Publication Date: | 5-25-2002 |
| LCS Group: | Program Analysis |
| Additional URL: | |
| Abstract: | |
| To obtain this publication: | |
|
|
|
To purchase a printed copy of this publication please contact MIT Document Services. |
|