%0 Conference Paper %1 conf/dac/CarlsonR88 %A Carlson, Erik C. %A Rutenbar, Rob A. %B DAC %D 1988 %E Shaklee, Dennis W. %E Newton, A. Richard %I ACM %K dblp %P 134-140 %T Mask Verification on the Connection Machine. %U http://dblp.uni-trier.de/db/conf/dac/dac88.html#CarlsonR88

@inproceedings{conf/dac/CarlsonR88, added-at = {2017-03-16T00:00:00.000+0100}, author = {Carlson, Erik C. and Rutenbar, Rob A.}, biburl = {https://www.bibsonomy.org/bibtex/29157f73e2854a22c0a29e4cac63f1c1f/dblp}, booktitle = {DAC}, crossref = {conf/dac/1988}, editor = {Shaklee, Dennis W. and Newton, A. Richard}, ee = {http://portal.acm.org/citation.cfm?id=285730.285752}, interhash = {addeb12162a2590fc8b0f92bf9b22827}, intrahash = {9157f73e2854a22c0a29e4cac63f1c1f}, keywords = {dblp}, pages = {134-140}, publisher = {ACM}, timestamp = {2017-03-17T11:39:21.000+0100}, title = {Mask Verification on the Connection Machine.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac88.html#CarlsonR88}, year = 1988 }