A Toolbox for Component-Wise Bounds for Steady-State Distribution of a DTMC

Ana Busic, Jean-Michel Fourneau. A Toolbox for Component-Wise Bounds for Steady-State Distribution of a DTMC. In QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010. pages 81-82, IEEE Computer Society, 2010. [doi]

Authors

Ana Busic

This author has not been identified. Look up 'Ana Busic' in Google

Jean-Michel Fourneau

This author has not been identified. Look up 'Jean-Michel Fourneau' in Google