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

@inproceedings{Stavely-al:ICSE85,
  author    = {Allan M. Stavely and
               D. C. Becker and
               S. P. Orr and
               Gregory B. Titus},
  title     = {A Collection of Software Tools for Analyzing Design of Concurrent Software Systems},
  booktitle = {ICSE},
  pages     = {111--118},
  publisher = {{IEEE} Computer Society},
  year      = {1985},
}