Tomomichi Ohta

Publication Activity (10 Years)

Years Active: 1986-1986
Publications (10 Years): 0

Publications

Gotaro Odawara, Masahiro Tomita, Osamu Okuzawa, Tomomichi Ohta, Zhen-quan Zhuang
A logic verifier based on Boolean comparison. DAC (1986)