@misc{indiciae1429ccc5cffb,
  title = {Towards a Formal Modelling, Analysis, and Verification of a Clone Node Attack Detection Scheme in the Internet of Things},
  author = {Khizar Hameed and Saurabh Garg and Muhammad Bilal Amin and Byeong Kang},
  year = {2021},
  url = {https://arxiv.org/abs/2108.09931},
  note = {Source identifier: 2108.09931}
}