C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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