@inproceedings{BoussabbehABZ2016,
  author    = {Maha Boussabbeh and
               Mohamed Tounsi and
               Ahmed Hadj Kacem and
               Mohamed Mosbah},
  title     = {Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions},
  booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 5th International
               Conference, {ABZ} 2016, Linz, Austria, May 23-27, 2016. Proceedings},
  year      = {2016}  
}