Automatically Proving Up-to Bisimulation.

Daniel Hirschkoff

Published in: Electron. Notes Theor. Comput. Sci. (1998)

Keyphrases

automatically detected
automatically generated
data sets
artificial neural networks
user defined
genetic algorithm
web services
three dimensional
cooperative
object recognition
multiresolution