Multi-core symbolic bisimulation minimisation.

Tom van Dijk Jaco van de Pol

Published in: Int. J. Softw. Tools Technol. Transf. (2018)

Keyphrases

high level
low level
databases
real time
data sets
neural network
information retrieval
three dimensional
binary decision diagrams