TY - GEN T1 - Proving Behavioural Apartness T2 - arXiv PY - 2024/04/25 AU - Turkenburg R AU - Beohar H AU - Kupke C AU - Rot J ED - Y2 - 2024/12/23 ER -