TY  - RPRT
TI  - A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions
AU  - Wojciech Różowski
PY  - 2024
UR  - https://arxiv.org/abs/2404.13352
ID  - 2404.13352
ER  -