@misc{misc, title = {{Proving Behavioural Apartness}}, url = {{}}, year = {{2024}}, month = {{4}}, author = {{Turkenburg R and Beohar H and Kupke C and Rot J}}, note = {{Accessed on 2024/12/23}}}