Idir Aït-Sadoune. Modélisation et Vérification Formelles de Compositions de Services. Une Approche Fondée sur le Raffinement et la Preuve. (Modelling and verifying services compositions). PhD thesis, École nationale supérieure de mécanique et d'aérotechnique, Chasseneuil-du-Poitou, Poitiers, France, 2010. [doi]
Abstract is missing.