TITLE     : On bisimilarity for polyhedral models and SLCS - Preliminary version
AUTHOR(S) : Ciancia V, Gabelaia D, Latella D, Massink M, De Vink E P
TYPE      : Other
YEAR      : 2023
CODE      : 478733

*** DO NOT EDIT THIS FILE ***