|
[GGMT08]
S. Gallotti, C. Ghezzi, R. Mirandola and G. Tamburrelli.
Quality Prediction of Service Compositions through Probabilistic Model Checking.
In Proc. 4th International Conference on the Quality of Software-Architectures (QoSA'08), volume 5281 of LNCS, pages 119-134, Springer.
2008.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|