Formal Modelling and Verification of an Asynchronous Extension of SOAP - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso. Formal Modelling and Verification of an Asynchronous Extension of SOAP. In Fourth IEEE European Conference on Web Services (ECOWS 2006), 4-6 December 2006, Zürich, Switzerland. pages 287-296, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Maurice H. ter Beek' in GoogleThis author has not been identified. Look up 'Stefania Gnesi' in GoogleThis author has not been identified. Look up 'Franco Mazzanti' in GoogleThis author has not been identified. Look up 'Corrado Moiso' in Google

runs on WebDSL