Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg. Limiting Behavior of Markov Chains with Eager Attractors. In Third International Conference on the Quantitative Evaluaiton of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA. pages 253-264, IEEE Computer Society, 2006. [doi]
Abstract is missing.