Tounsi, Mohamed, Umm Al-Qura University, Mecca, Common first year Deanship, Saudi Arabia

• 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