A note on the attractor-property of infinite-state Markov chains

Christel Baier، نويسنده , , Nathalie Bertrand، نويسنده , , Philippe Schnoebelen، نويسنده ,

دوهفته نامه با شماره پیاپی سال 2006

6

58

63

Theory of computation , Attractors in Markov chains , Verification of probabilistic systems , Lossy channel systems

Information Processing Letters

2006

Information Processing Letters

130184