@misc {IOPORT.70168202,
    author       = {Zhang, Lijun and Neuh\"au{\ss}er, Martin R.},
    title        = {Model checking interactive Markov chains},
    howpublished = {TACAS, 53-68 (2010).},
    year         = {2010},
    doi          = {10.1007/978-3-642-12002-2_5},
    identifier   = {70168202},
}