TY - GEN T1 - Quantitative Graded Semantics and Spectra of Behavioural Metrics T2 - arXiv PY - 2023/06/02 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.48550/arxiv.2306.01487 Y2 - 2024/12/23 ER -