Decompositional Branching Bisimulation Minimisation of Monolithic Processes.

Mark Bouwman Maurice Laveaux Bas Luttik Tim A. C. Willemse

Published in: FACS (2022)

Keyphrases

branch and bound
search tree
neural network
data mining
databases
machine learning
search engine
three dimensional
similarity measure
wireless sensor networks