TY - RPRT TI - A formal proof of the optimal frame setting for Dynamic-Frame Aloha with known population size AU - Luca Barletta AU - Flaminio Borgonovo AU - Matteo Cesana PY - 2013 DO - 10.1109/tit.2014.2354642 UR - https://arxiv.org/abs/1202.3914 ID - 1202.3914 ER -