Modeling and Reasoning about Service Behaviors and Their Compositions

Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification, and Validation ◽

10.1007/978-3-642-16561-0_14 ◽

2010 ◽

pp. 82-96 ◽

Cited By ~ 4

Author(s):

Aida Čaušević ◽

Cristina Seceleanu ◽

Paul Pettersson

Download Full-text