| |
| 1983 | ||
|---|---|---|
| 2 | Bo-Shoe Chen, Raymond T. Yeh: Formal Specification and Verification of Distributed Systems. IEEE Trans. Software Eng. 9(6): 710-722 (1983) | |
| 1982 | ||
| 1 | Bo-Shoe Chen, Raymond T. Yeh: Formal Specification and Verification of Distributed Systems. ICDCS 1982: 380-387 | |
| 1 | Raymond T. Yeh | [1] [2] |