TY - RPRT TI - Expressiveness and Closure Properties for Quantitative Languages AU - Krishnendu Chatterjee AU - Laurent Doyen AU - Thomas A. Henzinger PY - 2009 UR - https://arxiv.org/abs/0905.2195 ID - 0905.2195 ER -