| 1988 | ||
|---|---|---|
| 3 | EE | Sol M. Shatz, Wing Kai Cheng: A petri net framework for automated static analysis of Ada tasking behavior. Journal of Systems and Software 8(5): 343-359 (1988) |
| 1982 | ||
| 2 | Wing Kai Cheng, Geneva G. Belford: The Resiliency of Fully Replicated Distributed Databases. Berkeley Workshop 1982: 23-44 | |
| 1980 | ||
| 1 | EE | Wing Kai Cheng, Geneva G. Belford: Update Synchronization in Distributed Databases. VLDB 1980: 301-308 |
| 1 | Geneva G. Belford | [1] [2] |
| 2 | Sol M. Shatz | [3] |