%0 Conference Paper %1 conf/dac/OdawaraTOOZ86 %A Odawara, Gotaro %A Tomita, Masahiro %A Okuzawa, Osamu %A Ohta, Tomomichi %A quan Zhuang, Zhen %B DAC %D 1986 %E Thomas, Don %I IEEE Computer Society Press %K dblp %P 208-214 %T A logic verifier based on Boolean comparison. %U http://dblp.uni-trier.de/db/conf/dac/dac1986.html#OdawaraTOOZ86

@inproceedings{conf/dac/OdawaraTOOZ86, added-at = {2018-11-06T00:00:00.000+0100}, author = {Odawara, Gotaro and Tomita, Masahiro and Okuzawa, Osamu and Ohta, Tomomichi and quan Zhuang, Zhen}, biburl = {https://www.bibsonomy.org/bibtex/24be4eb7bce106923e962587b86640e04/dblp}, booktitle = {DAC}, crossref = {conf/dac/1986}, editor = {Thomas, Don}, ee = {https://doi.org/10.1145/318013.318046}, interhash = {89b202a934c2bab1a12fccffc062fb24}, intrahash = {4be4eb7bce106923e962587b86640e04}, keywords = {dblp}, pages = {208-214}, publisher = {IEEE Computer Society Press}, timestamp = {2018-11-07T16:13:50.000+0100}, title = {A logic verifier based on Boolean comparison.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac1986.html#OdawaraTOOZ86}, year = 1986 }