![]() | ![]() |
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] |