TITLE     : Minimisation of spatial models using branching bisimilarity (extended version)
AUTHOR(S) : Ciancia V, Groote Jf, Latella D, Massink M, De Vink Ep
TYPE      : Other
YEAR      : 2022
CODE      : 474529

*** DO NOT EDIT THIS FILE ***