Login / Signup
Matching in the presence of don't cares and redundant sequential elements for sequential equivalence checking.
Solaiman Rahim
Bruno Rouzeyre
Lionel Torres
Jérôme Rampon
Published in:
HLDVT (2003)
Keyphrases
</>
information systems
website
database systems
multiscale
data structure
data model
keypoints
sequential search