PhD thesis,
Systèmes à composants synchronisés : contributions à la vérification compositionnelle du raffinement et des propriétés. (Synchronized component-based systems : contributions to the compositional verification of refinement and properties).
University of Franche-Comté, Besançon, France, (2005)
