@InProceedings{GGMT08,
author={S. Gallotti and C. Ghezzi and R. Mirandola and G. Tamburrelli},
title={Quality Prediction of Service Compositions through Probabilistic Model Checking},
booktitle={Proc. 4th International Conference on the Quality of Software-Architectures (QoSA'08)},
year={2008},

editor={},
pages={119-134},
organization={},
publisher={Springer},
series={LNCS},
volume={5281},
address={},
month={},
note={},
key={}
}