@misc{indiciaec79e3cc3a9bd,
  title = {A formal proof of the optimal frame setting for Dynamic-Frame Aloha with known population size},
  author = {Luca Barletta and Flaminio Borgonovo and Matteo Cesana},
  year = {2013},
  doi = {10.1109/tit.2014.2354642},
  url = {https://arxiv.org/abs/1202.3914},
  note = {Source identifier: 1202.3914}
}