@inproceedings{FakhfakhSEKE2018,
  author    = {Faten Fakhfakh and
               Mohamed Tounsi and
               Mohamed Mosbah and
               Ahmed Hadj Kacem},
  title     = {A Formal Approach for Distributed Computing of Maximal Cliques in Dynamic Networks},
  booktitle = {The 30th International Conference on Software Engineering and Knowledge
               Engineering, Redwood City, California, USA, July 1-3,
               2018.},
  pages     = {348--347},
  year      = {2018}, 
 }