@misc{misc, title = {{Bisimulation maps in presheaf categories}}, url = {{}}, year = {{2019}}, month = {{9}}, author = {{Beohar H and Küpper S}}, doi = {{10.48550/arxiv.1909.01796}}, note = {{Accessed on 2024/12/22}}}