Verification of systems containing counters.

Enrico Macii Bernard Plessier Fabio Somenzi

Published in: ICCAD (1992)

Keyphrases

real time
distributed systems
retrieval systems
knowledge based systems
computing systems
data sets
databases
genetic algorithm
artificial intelligence
image segmentation