Publications by Types
 
Publication by dates | Conference A*

Search:

By Type:

All | Books | Book Chapters | Refereed Articles | Conference Papers | PhD Thesis | Master Theisis | Other publications


by Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah
Reference:
Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah, A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs, In 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2016.
Bibtex Entry:
@inproceedings{FakhfakhTKM16,
  author    = {Faten Fakhfakh and
               Mohamed Tounsi and
               Ahmed Hadj Kacem and
               Mohamed Mosbah},
  title     = {A Refinement-Based Approach for Proving Distributed Algorithms on
               Evolving Graphs},
  booktitle = {25th {IEEE} International Conference on Enabling Technologies: Infrastructure
               for Collaborative Enterprises, {WETICE}},
  pages     = {44--49},
  year      = {2016},
  doi       = {10.1109/WETICE.2016.19},
}


ReDCAD


National School of Engineering of Sfax
www.enis.rnu.tn

University of Sfax, Tunisia
www.uss.rnu.tn

Contact


Prof. Dr. Eng. Mohamed Jmaiel

Research Center for Computer Science, Multimedia and Digital Data Processing of Sfax, Send an Email
Phone: +216 74 666 578

Address


National School of Engineers of Sfax
Department of Computer Science and Applied Mathematics
ReDCAD Laboratory
B.P. 1173, 3038 Sfax, Tunisia