Gotaro Odawara, Masahiro Tomita, Osamu Okuzawa, Tomomichi Ohta, Zhen-quan Zhuang
A logic verifier based on Boolean comparison
DAC, 1986.
@inproceedings{DAC-1986-OdawaraTOOZ,
author = "Gotaro Odawara and Masahiro Tomita and Osamu Okuzawa and Tomomichi Ohta and Zhen-quan Zhuang",
booktitle = "{Proceedings of the 23rd Design Automation Conference}",
doi = "10.1145/318013.318046",
pages = "208--214",
publisher = "{IEEE Computer Society Press}",
title = "{A logic verifier based on Boolean comparison}",
year = 1986,
}