Jump to : Contact | BibTex reference | EndNote reference |

TOUNSI_2009_HAL-00361933_1

Mohamed Tounsi, Ahmed Hadj-Kacem, Mohamed Mosbah, Dominique Méry. A Refinement Approach for Proving Distributed Algorithms : Examples of Spanning Tree Problems. In Integration of Model based Formal Methods and Tools(IMFMT 2009), Düsseldorf Allemagne, 2009.

Contact

Mohamed Tounsi
Ahmed Hadj-Kacem
Mohamed Mosbah
Dominique Méry

BibTex Reference

@InProceedings{TOUNSI_2009_HAL-00361933_1,
   Author = {Tounsi, Mohamed and Hadj-Kacem, Ahmed and Mosbah, Mohamed and Méry, Dominique},
   Title = {{A} {R}efinement {A}pproach for {P}roving {D}istributed {A}lgorithms : {E}xamples of {S}panning {T}ree {P}roblems},
   BookTitle = {{I}ntegration of {M}odel based {F}ormal {M}ethods and {T}ools({IM}{FMT} 2009)},
   Address = {{D}{ü}sseldorf {A}llemagne},
   Year = {2009}
}

EndNote Reference [help]

Get EndNote Reference (.ref)