TY  - RPRT
TI  - Explaining Non-Bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas
AU  - Barbara König
AU  - Christina Mika-Michalski
AU  - Lutz Schröder
PY  - 2020
DO  - 10.1007/978-3-030-57201-3_8
UR  - https://arxiv.org/abs/2002.11459
ID  - 2002.11459
ER  -