General Quantitative Specification Theories with Modalities.

Sebastian S. Bauer, Uli Fahrenberg, Axel Legay, Claus R. Thrane

Browse the full CSR paper archive.