A Collection of Software Tools for Analyzing Design of Concurrent Software Systems.

Allan M. Stavely, D. C. Becker, S. P. Orr, Gregory B. Titus

Browse the full ICSE paper archive.