TY - CONF T1 - Proving Behavioural Apartness UR - http://dx.doi.org/10.1007/978-3-031-66438-0_8 PY - 2024/07/26 AU - Turkenburg R AU - Beohar H AU - Kupke C AU - Rot J ED - DO - DOI: 10.1007/978-3-031-66438-0_8 PB - Springer Nature Switzerland SN - 9783031664373 SP - 156 EP - 173 Y2 - 2024/12/23 ER -