@inproceedings{inproceedings, title = {{Proving Behavioural Apartness}}, publisher = {{Springer Nature Switzerland}}, url = {{http://dx.doi.org/10.1007/978-3-031-66438-0_8 }}, year = {{2024}}, month = {{7}}, author = {{Turkenburg R and Beohar H and Kupke C and Rot J}}, doi = {{10.1007/978-3-031-66438-0_8}}, isbn = {{9783031664373}}, pages = {{156-173}}, note = {{Accessed on 2024/12/22}}}