TITLE     : Formal modelling and verification in service-oriented computing
AUTHOR(S) : Ter Beek M H, Gnesi S, Martinelli F, Mazzanti F, Petrocchi M
TYPE      : Journal article
YEAR      : 2007
CODE      : 68406

*** DO NOT EDIT THIS FILE ***