BibTeX record journals/access/KumarKSS23

download as .bib file

@article{DBLP:journals/access/KumarKSS23,
  author       = {N. Suresh Kumar and
                  G. Santhosh Kumar and
                  Shailesh Sivan and
                  A. Sreekumar},
  title        = {Formal Verification of a {MAC} Protocol for Underwater Sensor Networks},
  journal      = {{IEEE} Access},
  volume       = {11},
  pages        = {111846--111859},
  year         = {2023},
  url          = {https://doi.org/10.1109/ACCESS.2023.3323585},
  doi          = {10.1109/ACCESS.2023.3323585},
  timestamp    = {Fri, 27 Oct 2023 20:39:20 +0200},
  biburl       = {https://dblp.org/rec/journals/access/KumarKSS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics