Fakhfakh, Faten, University of Sfax, ReDCAD Laboratory, Tunisia

• Vol 23, No 4 (2019): 23-4(2019) - Articles
  Formal Modeling and Verification of a Distributed Algorithm for Constructing Maximal Cliques in Static Networks
  Abstract  PDF