Conference paper
Merging nodes under sequential observability
Michael L. Case, Victor N. Kravets, et al.
DAC 2008
Michael L. Case, Victor N. Kravets, et al.
DAC 2008
Robert K. Brayton, Stephen W. Director, et al.
IEEE Transactions on Circuits and Systems
Gary D. Hachtel, Robert K. Brayton, et al.
IEEE Transactions on Circuit Theory
Robert K. Brayton, Stephen W. Director
IEEE Transactions on Circuits and Systems