@inproceedings{DBLP:conf/kes/Fakhfakh0M20,
  author    = {Faten Fakhfakh and
               Mohamed Tounsi and
               Mohamed Mosbah},
  editor    = {Matteo Cristani and
               Carlos Toro and
               Cecilia Zanni{-}Merk and
               Robert J. Howlett and
               Lakhmi C. Jain},
  title     = {Formal specification and verification of a broadcasting protocol:
               a refinement-based approach},
  booktitle = {Knowledge-Based and Intelligent Information {\&} Engineering Systems:
               Proceedings of the 24th International Conference KES-2020, Virtual
               Event, 16-18 September 2020},
  series    = {Procedia Computer Science},
  volume    = {176},
  pages     = {2858--2867},
  publisher = {Elsevier},
  year      = {2020},
  url       = {https://doi.org/10.1016/j.procs.2020.09.268},
  doi       = {10.1016/j.procs.2020.09.268},
  timestamp = {Tue, 11 Oct 2022 14:59:07 +0200},
  biburl    = {https://dblp.org/rec/conf/kes/Fakhfakh0M20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}