[ACM Press the 30th annual ACM SIGACT-SIGOPS symposium - San Jose, California, USA (2011.06.06-2011.06.08)] Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing - PODC '11 - Locally checkable proofs
Göös, Mika, Suomela, JukkaYear:
2011
Language:
english
DOI:
10.1145/1993806.1993829
File:
PDF, 699 KB
english, 2011