70168202

a

70168202 Zhang, Lijun Neuh\"au{\ss}er, Martin R. Model checking interactive Markov chains TACAS, 53-68 (2010). 2010 EN

doi:10.1007/978-3-642-12002-2_5