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}, }