www.prismmodelchecker.org
[AGM08] D. Ardagna, C. Ghezzi and R. Mirandola. Model Driven QoS Analyses of Composed Web Services. In Proc. ServiceWave 2008, volume 5377 of LNCS, pages 299-311, Springer. 2008. [bib]
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications