Modular verification of timed circuits using automatic abstraction.

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2003)

Keyphrases