Model-based specification and validation of the dual-mode adaptive MAC protocol

Admar Ajith Kumar Somappa, Lars M. Kristensen, Andreas Prinz 0001. Model-based specification and validation of the dual-mode adaptive MAC protocol. IJCCBS, 8(2):108-140, 2018. [doi]

@article{SomappaKP18,
  title = {Model-based specification and validation of the dual-mode adaptive MAC protocol},
  author = {Admar Ajith Kumar Somappa and Lars M. Kristensen and Andreas Prinz 0001},
  year = {2018},
  doi = {10.1504/IJCCBS.2018.096190},
  url = {https://doi.org/10.1504/IJCCBS.2018.096190},
  researchr = {https://researchr.org/publication/SomappaKP18},
  cites = {0},
  citedby = {0},
  journal = {IJCCBS},
  volume = {8},
  number = {2},
  pages = {108-140},
}