Login / Signup
Equivalence Checking 40 Years After: A Review of Bisimulation Tools.
Hubert Garavel
Frédéric Lang
Published in:
A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Keyphrases
</>
software tools
equivalence relation
neural network
data mining
rough sets
years ago
machine learning
search algorithm
digital libraries
end users
user friendly