@InProceedings{l16-123-137,
AUTHOR = {Evangelos Bampas and David Ilcinkas},
TITLE = {On Mobile Agent Verifiable Problems},
YEAR = {2016},
BOOKTITLE = {Proc.~of the 12th Latin American Symposium on Theoretical Informatics (LATIN'16)},
ADDRESS = {Ensenada, Mexico},
PAGES = {123--137},
KEYWORDS = {}}