Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Ahmed Hadj Kacem, Dominique Méry. A Formal Approach for Maintaining Forest Topologies in Dynamic Networks.
ICIS 2017 - 16th IEEE/ACIS International Conference on Computer and Information Science, May 2017, Wuhan, China. pp.123-137,
⟨10.1007/978-3-319-60170-0_9⟩.
⟨hal-01495807⟩