Concepedia

Publication | Closed Access

Recognizing safety and liveness

DOI

549

Citations

13

References

1987

Year

Bowen Alpern, Fred B. Schneider
Distributed Computing

References

YearCitations

Page 1