Model-Checking Multi-Threaded Distributed Java Programs (2000)

Cached

Download Links

by Scott D. Stoller
Venue:International Journal on Software Tools for Technology Transfer
Citations:103 - 6 self