TITLE     : A model-checking approach for service component architectures
AUTHOR(S) : Abreu J, Mazzanti F, Fiadeiro L J, Gnesi S
TYPE      : Journal article
YEAR      : 2009
CODE      : 44246

*** DO NOT EDIT THIS FILE ***