@inproceedings{BDR+6,
title = { Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm },
author = {Balabonski, Thibaut and Delga, Am\'elie and Rieg, Lionel and Tixeuil, S\'ebastien and Urbain, Xavier},
year = {2016},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 18th International Symposium, {SSS} 2016, Lyon, France, November 7-10, 2016, Proceedings},
pages = {7--19},
series = {Stabilization, Safety, and Security of Distributed Systems (SSS)},
team = {Coll\`ege de France, Other},
}
