Login / Signup
Sequential equivalence checking based on structural similarities.
C. A. J. van Eijk
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2000)
Keyphrases
</>
structural similarities
data mining
database systems