Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Catuscia Dhama, Oliver E. Theel. Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems. In QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010. pages 27-36, IEEE Computer Society, 2010. [doi]
Abstract is missing.