TITLE     : An abstract, on the fly framework for the verification of service-oriented systems
AUTHOR(S) : Gnesi S, Mazzanti F
TYPE      : Contribution to book
YEAR      : 2011
CODE      : 203870

*** DO NOT EDIT THIS FILE ***