Andreas Björklund, Petteri Kaski. How Proofs are Prepared at Camelot: Extended Abstract. 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 391-400, ACM, 2016. [doi]
@inproceedings{BjorklundK16,
title = {How Proofs are Prepared at Camelot: Extended Abstract},
author = {Andreas Björklund and Petteri Kaski},
year = {2016},
doi = {10.1145/2933057.2933101},
url = {http://doi.acm.org/10.1145/2933057.2933101},
researchr = {https://researchr.org/publication/BjorklundK16},
cites = {0},
citedby = {0},
pages = {391-400},
booktitle = {Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, PODC 2016, Chicago, IL, USA, July 25-28, 2016},
editor = {George Giakkoupis},
publisher = {ACM},
isbn = {978-1-4503-3964-3},
}