About this scholarly article

An Efficient Path-Oriented Bitvector Encoding Width Computation Algorithm for Bit-Precise Verification by D. Banñeres, J. Cortadella, M. Kishinevsky is a scholarly article available to read on EtoBox.

Author

D. Banñeres, J. Cortadella, M. Kishinevsky