Timed protocol analysis of interconnected mobile IoT devices

Georgios Bouloukakis, Nikolaos Georgantas, Ajay Kattepur, Valérie Issarny. Timed protocol analysis of interconnected mobile IoT devices. J. Internet Services and Applications, 12(1):12, 2021. [doi]

@article{BouloukakisGKI21,
  title = {Timed protocol analysis of interconnected mobile IoT devices},
  author = {Georgios Bouloukakis and Nikolaos Georgantas and Ajay Kattepur and Valérie Issarny},
  year = {2021},
  doi = {10.1186/s13174-021-00143-w},
  url = {https://doi.org/10.1186/s13174-021-00143-w},
  researchr = {https://researchr.org/publication/BouloukakisGKI21},
  cites = {0},
  citedby = {0},
  journal = {J. Internet Services and Applications},
  volume = {12},
  number = {1},
  pages = {12},
}