@misc{indiciaec9502f2efb03,
  title = {Performance Evaluation of the NDN Data Plane Using Statistical Model Checking},
  author = {Siham Khoussi and Ayoub Nouri and Junxiao Shi and James Filliben and Lotfi Benmohamed and Abdella Battou and Saddek Bensalem},
  year = {2019},
  url = {https://arxiv.org/abs/1905.01607},
  note = {Source identifier: 1905.01607}
}