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]
@inproceedings{BusicF10, title = {A Toolbox for Component-Wise Bounds for Steady-State Distribution of a DTMC}, author = {Ana Busic and Jean-Michel Fourneau}, year = {2010}, doi = {10.1109/QEST.2010.18}, url = {http://dx.doi.org/10.1109/QEST.2010.18}, researchr = {https://researchr.org/publication/BusicF10}, cites = {0}, citedby = {0}, pages = {81-82}, booktitle = {QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-4188-4}, }