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

*** DO NOT EDIT THIS FILE ***