Communication Dans Un Congrès
Année : 2009
Connectez-vous pour contacter le contributeur
https://hal.science/hal-00361933
Soumis le : lundi 16 février 2009-21:44:50
Dernière modification le : dimanche 23 novembre 2025-03:21:05
Dates et versions
Identifiants
- HAL Id : hal-00361933 , version 1
Citer
Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah, Dominique Méry. A Refinement Approach for Proving Distributed Algorithms : Examples of Spanning Tree Problems. Integration of Model-based Formal Methods and Tools - IM_FMT'2009 - in IFM'2009, Feb 2009, Düsseldorf, Germany. ⟨hal-00361933⟩
Collections
383
Consultations
0
Téléchargements