What Can Be Verified Locally?. Balliu, A., D'Angelo, G., Fraigniaud, P., & Olivetti, D. In Vollmer, H. & Vallée, B., editors, 34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany, volume 66, of LIPIcs, pages 8:1–8:13, 2017. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. ![What Can Be Verified Locally? [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex @inproceedings{balliu_what_2017,
author = {Balliu, Alkida and D'Angelo, Gianlorenzo and Fraigniaud, Pierre and Olivetti, Dennis},
booktitle = {34th {Symposium} on {Theoretical} {Aspects} of {Computer} {Science}, {STACS} 2017, {March} 8-11, 2017, {Hannover}, {Germany}},
doi = {10.4230/LIPIcs.STACS.2017.8},
editor = {Vollmer, Heribert and Vall{\'e}e, Brigitte},
pages = {8:1--8:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik},
series = {{LIPIcs}},
title = {What {Can} {Be} {Verified} {Locally}?},
url = {https://doi.org/10.4230/LIPIcs.STACS.2017.8},
volume = {66},
year = {2017},
Bdsk-Url-1 = {https://doi.org/10.4230/LIPIcs.STACS.2017.8}}
Downloads: 0
{"_id":"hNdx2jiFTn92CAdTP","bibbaseid":"balliu-dangelo-fraigniaud-olivetti-whatcanbeverifiedlocally-2017","author_short":["Balliu, A.","D'Angelo, G.","Fraigniaud, P.","Olivetti, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Balliu"],"firstnames":["Alkida"],"suffixes":[]},{"propositions":[],"lastnames":["D'Angelo"],"firstnames":["Gianlorenzo"],"suffixes":[]},{"propositions":[],"lastnames":["Fraigniaud"],"firstnames":["Pierre"],"suffixes":[]},{"propositions":[],"lastnames":["Olivetti"],"firstnames":["Dennis"],"suffixes":[]}],"booktitle":"34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany","doi":"10.4230/LIPIcs.STACS.2017.8","editor":[{"propositions":[],"lastnames":["Vollmer"],"firstnames":["Heribert"],"suffixes":[]},{"propositions":[],"lastnames":["Vallée"],"firstnames":["Brigitte"],"suffixes":[]}],"pages":"8:1–8:13","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","series":"LIPIcs","title":"What Can Be Verified Locally?","url":"https://doi.org/10.4230/LIPIcs.STACS.2017.8","volume":"66","year":"2017","bdsk-url-1":"https://doi.org/10.4230/LIPIcs.STACS.2017.8","bibtex":"@inproceedings{balliu_what_2017,\n\tauthor = {Balliu, Alkida and D'Angelo, Gianlorenzo and Fraigniaud, Pierre and Olivetti, Dennis},\n\tbooktitle = {34th {Symposium} on {Theoretical} {Aspects} of {Computer} {Science}, {STACS} 2017, {March} 8-11, 2017, {Hannover}, {Germany}},\n\tdoi = {10.4230/LIPIcs.STACS.2017.8},\n\teditor = {Vollmer, Heribert and Vall{\\'e}e, Brigitte},\n\tpages = {8:1--8:13},\n\tpublisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\\\"u}r Informatik},\n\tseries = {{LIPIcs}},\n\ttitle = {What {Can} {Be} {Verified} {Locally}?},\n\turl = {https://doi.org/10.4230/LIPIcs.STACS.2017.8},\n\tvolume = {66},\n\tyear = {2017},\n\tBdsk-Url-1 = {https://doi.org/10.4230/LIPIcs.STACS.2017.8}}\n\n","author_short":["Balliu, A.","D'Angelo, G.","Fraigniaud, P.","Olivetti, D."],"editor_short":["Vollmer, H.","Vallée, B."],"key":"balliu_what_2017","id":"balliu_what_2017","bibbaseid":"balliu-dangelo-fraigniaud-olivetti-whatcanbeverifiedlocally-2017","role":"author","urls":{"Paper":"https://doi.org/10.4230/LIPIcs.STACS.2017.8"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://drive.google.com/uc?export=download&id=19WpQhoMIwJIL1DMqKywl2YoH2M7MIki5","dataSources":["RKZzE9qbnqyegdbZi","kCt8NvHdC72dHkmfu"],"keywords":[],"search_terms":["verified","locally","balliu","d'angelo","fraigniaud","olivetti"],"title":"What Can Be Verified Locally?","year":2017}