TITLE     : Minimisation of spatial models using branching bisimilarity
AUTHOR(S) : Ciancia V, Groote Jf, Latella D, Massink M, De Vink Ep
TYPE      : Conference article
YEAR      : 2023
CODE      : 478829

*** DO NOT EDIT THIS FILE ***