Mor Baruch, Rafail Ostrovsky, Will Rosenbaum. Brief Announcement: Space-Time Tradeoffs for Distributed Verification. In George Giakkoupis, editor, Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, PODC 2016, Chicago, IL, USA, July 25-28, 2016. pages 357-359, ACM, 2016. [doi]
Abstract is missing.