Tomomichi Ohta

According to our database, Tomomichi Ohta authored at least 1 paper in 1986.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1986

A logic verifier based on Boolean comparison.

Gotaro Odawara, Masahiro Tomita, Osamu Okuzawa, Tomomichi Ohta, Zhen-quan Zhuang

Proceedings of the 23rd ACM/IEEE Design Automation Conference. Las Vegas, 1986