Model-Checking Multi-Threaded Distributed Java Programs
Scott D. Stoller
This tech report is superceded by the
journal version
.
Scott Stoller's Home Page