@inproceedings{fakhfakh:hal-01495807, TITLE = {{A Formal Approach for Maintaining Forest Topologies in Dynamic Networks}}, AUTHOR = {Fakhfakh, Faten and Tounsi, Mohamed and Mosbah, Mohamed and Hadj Kacem, Ahmed and M{\'e}ry, Dominique}, URL = {https://hal.science/hal-01495807}, BOOKTITLE = {{ICIS 2017 - 16th IEEE/ACIS International Conference on Computer and Information Science}}, ADDRESS = {Wuhan, China}, SERIES = {Studies in Computational Intelligence}, VOLUME = {719}, PAGES = {123-137}, YEAR = {2017}, MONTH = May, DOI = {10.1007/978-3-319-60170-0\_9}, KEYWORDS = {Forest maintenance ; Dynamic networks ; Formal proof}, HAL_ID = {hal-01495807}, HAL_VERSION = {v1}, }