Back
@inproceedings{, author = {Klaus-Tycho Förster and Thomas Lüdi and Jochen Seidel and Roger Wattenhofer}, title = {Local Checkability, No Strings Attached}, address = {Singapore}, month = {Jan}, year = {2016} }