| |
| 1995 | ||
|---|---|---|
| 2 | EE | Michal Young, Richard N. Taylor, David L. Levine, Kari A. Nies, Debra Brodbeck: A Concurrency Analysis Tool Suite for Ada Programs: Rational, Design, and Preliminary Experience. ACM Trans. Softw. Eng. Methodol. 4(1): 65-106 (1995) |
| 1989 | ||
| 1 | EE | Michal Young, Richard N. Taylor, K. Forester, Debra Brodbeck: Integrated Concurrency Analysis in a Software Development Enviornment. Symposium on Testing, Analysis, and Verification 1989: 200-209 |
| 1 | K. Forester | [1] |
| 2 | David L. Levine | [2] |
| 3 | Kari A. Nies | [2] |
| 4 | Richard N. Taylor | [1] [2] |
| 5 | Michal Young | [1] [2] |