TITLE     : Formal methods for service composition
AUTHOR(S) : Ter Beek M, Bucchiarone A, Gnesi S
TYPE      : Conference article
YEAR      : 2007
CODE      : 91631

*** DO NOT EDIT THIS FILE ***