TITLE     : CMC-UMC: a framework for the verification of abstract service-oriented properties
AUTHOR(S) : Ter Beek M.  H., Mazzanti F., Gnesi S.
TYPE      : Conference article
YEAR      : 2009
CODE      : 91954

*** DO NOT EDIT THIS FILE ***