A Proof Based Approach for Modelling and VerifyingWeb Services Compositions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Idir AÃ¯t-Sadoune, Yamine AÃ¯t Ameur. A Proof Based Approach for Modelling and VerifyingWeb Services Compositions. In 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009. pages 1-10, IEEE Computer Society, 2009. [doi]

This author has not been identified. Look up 'Idir AÃ¯t-Sadoune' in GoogleThis author has not been identified. Look up 'Yamine AÃ¯t Ameur' in Google

runs on WebDSL