Mouad Ben Mamoun, Nihal Pekergin. Model Checking of Infinite State Space Markov Chains by Stochastic Bounds. In Khalid Al-Begain, Armin Heindl, Miklós Telek, editors, Analytical and Stochastic Modeling Techniques and Applications, 15th International Conference, ASMTA 2008, Nicosia, Cyprus, June 4-6, 2008, Proceedings. Volume 5055 of Lecture Notes in Computer Science, pages 264-278, Springer, 2008. [doi]
Abstract is missing.