Boutheina Bannour, Arnault Lapitre. Model Checking of Trickle-based IoT Dissemination. In 9th Mediterranean Conference on Embedded Computing, MECO 2020, Budva, Montenegro, June 8-11, 2020. pages 1-6, IEEE, 2020. [doi]
@inproceedings{BannourL20,
title = {Model Checking of Trickle-based IoT Dissemination},
author = {Boutheina Bannour and Arnault Lapitre},
year = {2020},
doi = {10.1109/MECO49872.2020.9134251},
url = {https://doi.org/10.1109/MECO49872.2020.9134251},
researchr = {https://researchr.org/publication/BannourL20},
cites = {0},
citedby = {0},
pages = {1-6},
booktitle = {9th Mediterranean Conference on Embedded Computing, MECO 2020, Budva, Montenegro, June 8-11, 2020},
publisher = {IEEE},
isbn = {978-1-7281-6949-1},
}