Essential Transitions to Bisimulation Equivalences.

Jaana Eloranta Martti Tienari Antti Valmari

Published in: Theor. Comput. Sci. (1997)

Keyphrases

real time
data sets
neural network
real world
relational databases
artificial intelligence
search algorithm
optimal planning