Modeling and Reasoning about Service Behaviors and Their Compositions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson. Modeling and Reasoning about Service Behaviors and Their Compositions. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. Volume 6416 of Lecture Notes in Computer Science, pages 82-96, Springer, 2010. [doi]

This author has not been identified. Look up 'Aida Causevic' in GoogleThis author has not been identified. Look up 'Cristina Cerschi Seceleanu' in GoogleThis author has not been identified. Look up 'Paul Pettersson' in Google

runs on WebDSL