Mosbah, Mohamed, University of Bordeaux, Bordeaux INP, LaBRI Laboratory, France

• 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