Login / Signup
Deriving Bisimulation Relations from Path Extension Based Equivalence Checkers.
Kunal Banerjee
Dipankar Sarkar
Chittaranjan Mandal
Published in:
IEEE Trans. Software Eng. (2017)
Keyphrases
</>
equivalence relation
rough set theory
shortest path
data sets
artificial intelligence
rough sets
binary relations
data mining
multi agent
databases
database systems
endpoints