共 50 条
- [26] Spectral gap and convergence rate for discrete-time Markov chains Acta Mathematica Sinica, English Series, 2013, 29 : 1949 - 1962
- [28] Symbolic and parametric model checking of discrete-time Markov chains THEORETICAL ASPECTS OF COMPUTING - ICTAC 2004, 2005, 3407 : 280 - 294