Expressiveness and Closure Properties for Quantitative Languages | IEEE Conference Publication | IEEE Xplore