@misc{indiciaeabd0abc78814, title = {A methodology to design distributed algorithms for mobile entities: the pattern formation problem as case study}, author = {Serafino Cicerone and Gabriele Di Stefano and Alfredo Navarra}, year = {2020}, url = {https://arxiv.org/abs/2010.12463}, note = {Source identifier: 2010.12463} }