TY - CONF T1 - Quantitative Graded Semantics and Spectra of Behavioural Metrics JO - Leibniz International Proceedings in Informatics, LIPIcs PY - 2025/02/03 AU - Forster J AU - Schröder L AU - Wild P AU - Beohar H AU - Gurke S AU - König B AU - Messing K ED - DO - DOI: 10.4230/LIPIcs.CSL.2025.33 VL - 326 Y2 - 2025/03/03 ER -