| |
| 1982 | ||
|---|---|---|
| 2 | William T. Overman, Stephen D. Crocker: Verification of Concurrent Systems: Function and Timing. PSTV 1982: 401-409 | |
| 1981 | ||
| 1 | EE | William T. Overman, Stephen D. Crocker, Vittal Kini: A multiprocessor description language. AFIPS National Computer Conference 1981: 19-25 |
| 1 | Stephen D. Crocker | [1] [2] |
| 2 | Vittal Kini | [1] |