[RSS08]
M. Riedl, J. Schuster and M. Siegle.
Recent Extensions to the Stochastic Process Algebra Tool CASPA.
In Proc. 5th International Conference on Quantitative Evaluation of Systems (QEST'08), pages 113-114, IEEE CS Press.
2008.
[bib]
|
Links:
[Google]
[Google Scholar]
|