Service Interaction: Patterns, Formalization, and Analysis

van der Aalst, Wil M. P.; Mooij, A. J.; Stahl, C.; Wolf, K.

Berlin [u.a.] / Springer (2009) [Buchbeitrag, Beitrag zu einem Tagungsband]

Formal methods for web services : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1 - 6, 2009 ; advanced lectures / Marco Bernardo; Luca Padovani; Gianluigi Zavattaro (eds.)
Seite(n): 42-88

Identifikationsnummern