Boutheina Bannour, Arnault Lapitre. Heuristic-aided symbolic simulation for trickle-based wireless sensors networks configuration. In Proceedings of the RAPIDO 2020 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, Bologna, Italy, January, 2020. ACM, 2020. [doi]
Abstract is missing.