Service-Based Systems Engineering: Consistent Combination of Services In (0)

by Schätz Salzmann
Venue:Proceedings of ICFEM 2003, Fifth International Conference on Formal Engineering Methods. Springer LNCS 2885, 2003