- CSB - MetaPress - Google - Bing - Yahoo
 | 1988 | |
|---|---|---|
| 3 |      | 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 | | 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] |