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)