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
IEEE Transactions on Circuit Theory
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