%0 Conference Paper %1 conf/dac/MaDSW87 %A Ma, Hi-Keung Tony %A Devadas, Srinivas %A Sangiovanni-Vincentelli, Alberto L. %A Wei, Ruey-Sing %B DAC %D 1987 %E O'Neill, A. %E Thomas, D. %I IEEE Computer Society Press / ACM %K dblp %P 283-290 %T Logic Verification Algorithms and Their Parallel Implementation. %U http://dblp.uni-trier.de/db/conf/dac/dac87.html#MaDSW87

@inproceedings{conf/dac/MaDSW87, added-at = {2017-12-01T00:00:00.000+0100}, author = {Ma, Hi-Keung Tony and Devadas, Srinivas and Sangiovanni-Vincentelli, Alberto L. and Wei, Ruey-Sing}, biburl = {https://www.bibsonomy.org/bibtex/251da43ebf4f78eb16a68f3c4f5665b64/dblp}, booktitle = {DAC}, crossref = {conf/dac/1987}, editor = {O'Neill, A. and Thomas, D.}, ee = {http://doi.acm.org/10.1145/37888.37931}, interhash = {000444dce2232efa2408871b483b135b}, intrahash = {51da43ebf4f78eb16a68f3c4f5665b64}, keywords = {dblp}, pages = {283-290}, publisher = {IEEE Computer Society Press / ACM}, timestamp = {2017-12-08T01:48:57.000+0100}, title = {Logic Verification Algorithms and Their Parallel Implementation.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac87.html#MaDSW87}, year = 1987 }