TY  - RPRT
TI  - A Spectrum of Approximate Probabilistic Bisimulations
AU  - Timm Spork
AU  - Christel Baier
AU  - Joost-Pieter Katoen
AU  - Jakob Piribauer
AU  - Tim Quatmann
PY  - 2024
UR  - https://arxiv.org/abs/2407.07584
ID  - 2407.07584
ER  -