@article{DBLP:journals/corr/abs-0809-1465,
author = {Krishnendu Chatterjee and
Thomas A. Henzinger},
title = {Probabilistic Systems with LimSup and LimInf Objectives},
journal = {CoRR},
volume = {abs/0809.1465},
year = {2008},
ee = {http://arxiv.org/abs/0809.1465},
bibsource = {DBLP, http://dblp.uni-trier.de}
}