Thomas A. Joseph
Loading Google Thumbnails...
from Google Images |
- Sorted by Year/Conf, Year/Citation, Citation
| 1986 | ||
|---|---|---|
| 3 | State Machines and Assertions: An Integrated Approach to Modeling and Verification of Distributed Systems. Thomas A. Joseph, Thomas Räuchle, Sam Toueg. Sci. Comput. Program. (7): 1-22 (1986). Web SearchBibTeXDownload | |
| 1985 | ||
| 2 | Implementing Fault-Tolerant Distributed Objects. Kenneth P. Birman, Thomas A. Joseph, Thomas Räuchle, Amr El Abbadi. IEEE Trans. Software Eng. (11): 502-508 (1985). Cited by 132Web SearchBibTeXDownload | |
| 1984 | ||
| 1 | Implementing Fault-Tolerant Distributed Objects. Kenneth P. Birman, Thomas A. Joseph, Thomas Räuchle, Amr El Abbadi. Symposium on Reliability in Distributed Software and Database Systems 1984, 124-133. Cited by 132Web SearchBibTeX | |
from DBLP and Google Scholar