Sign in

Minimisation of Spatial Models Using Branching Bisimilarity.

Vincenzo CianciaJan Friso GrooteDiego LatellaMieke MassinkErik P. de Vink
Published in: FM (2023)
Keyphrases