How Proofs are Prepared at Camelot: Extended Abstract - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Andreas Björklund' in GoogleThis author has not been identified. Look up 'Petteri Kaski' in Google

runs on WebDSL