Formal Methods for Service Composition (0)

by M H ter Beek, A Bucchiarone, S Gnesi
Venue:10, 2007. External Final Version 1.3, Dated