Featured collections
Popular topics
19 results for
H.R. Strong Jr.- Danny Dolev
- Ruediger Reischuk
- et al.
- 1990
- Journal of the ACM
- H.R. Strong
- G. Markowsky
- et al.
- 1979
- Journal of the ACM
- 1972
- ACM Conference on Proving Assertions about Programs 1972
- Amotz Bar-Noy
- Danny Dolev
- et al.
- 1987
- PODC 1987
- 1981
- Symposium on Reliability in Distributed Software and Database Systems 1981
- Danny Dolev
- H. Raymond Strong
- 1982
- STOC 1982