| |
| 1988 | ||
|---|---|---|
| 3 | EE | Joylyn Reed, Raymond T. Yeh: Specification and Verification of Liveness Properties of Cyclic, Concurrent Processes. ACM Trans. Program. Lang. Syst. 10(1): 156-177 (1988) |
| 1987 | ||
| 2 | Joylyn Reed: Semantics-Based Tools for a Specification-Support Environment. MFPS 1987: 414-424 | |
| 1984 | ||
| 1 | EE | Raymond T. Yeh, Roland Mittermeir, Nick Roussopoulos, Joylyn Reed: A Programming Environment Framework Based on Reusability. ICDE 1984: 277-280 |
| 1 | Roland Mittermeir (Roland T. Mittermeir) | [1] |
| 2 | Nick Roussopoulos | [1] |
| 3 | Raymond T. Yeh | [1] [3] |