| |
| 1989 | ||
|---|---|---|
| 2 | EE | Gregory B. Titus, Allan M. Stavely: Finding reachable states of finite-state concurrent systems. Journal of Systems and Software 9(4): 253-272 (1989) |
| 1985 | ||
| 1 | Allan M. Stavely, D. C. Becker, S. P. Orr, Gregory B. Titus: A Collection of Software Tools for Analyzing Design of Concurrent Software Systems. ICSE 1985: 111-118 | |
| 1 | D. C. Becker | [1] |
| 2 | S. P. Orr | [1] |
| 3 | Allan M. Stavely | [1] [2] |