TY  - RPRT
TI  - Congruences for Stochastic Automata
AU  - Ernst-Erich Doberkat
PY  - 2020
UR  - https://arxiv.org/abs/2011.06954
ID  - 2011.06954
ER  -