@conference{861436,
  author = {Siham Khoussi and Lotfi Benmohamed and Abdella Battou and Junxiao Shi and James Filliben and Saddek Bensalem and Ayoub Nouri},
  title = {Performance Evaluation of the NDN Data Plane Using Statistical Model Checking},
  year = {2021},
  month = {2021-07-19 04:07:00},
  publisher = {International Symposium on Automated Technology for Verification and Analysis, Taipei, TW},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=928340},
  language = {en},
}