Computing Maximal Bisimulations.

Alexandre Boulgakov Thomas Gibson-Robinson A. W. Roscoe

Published in: ICFEM (2014)

Keyphrases

neural network
multiscale
data structure
expert systems
evolutionary algorithm
special case
independent set