%0 Conference Paper %1 conf/dac/ChangA83 %A Chang, Ning-Sang %A Apte, Ravi %B DAC %D 1983 %E Radke, Charles E. %I ACM/IEEE %K dblp %P 732-733 %T Consistency checking for MOS/VLSI circuits. %U http://dblp.uni-trier.de/db/conf/dac/dac1983.html#ChangA83 %@ 0-8186-0026-8

@inproceedings{conf/dac/ChangA83, added-at = {2012-03-01T00:00:00.000+0100}, author = {Chang, Ning-Sang and Apte, Ravi}, biburl = {https://www.bibsonomy.org/bibtex/22bd7c97033e6ed0c8afbf60eb29dcaeb/dblp}, booktitle = {DAC}, crossref = {conf/dac/1983}, editor = {Radke, Charles E.}, ee = {http://dl.acm.org/citation.cfm?id=800753}, interhash = {7e141bcfb9dfe12e176bf03a4d4437c2}, intrahash = {2bd7c97033e6ed0c8afbf60eb29dcaeb}, isbn = {0-8186-0026-8}, keywords = {dblp}, pages = {732-733}, publisher = {ACM/IEEE}, timestamp = {2012-03-02T11:35:00.000+0100}, title = {Consistency checking for MOS/VLSI circuits.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac1983.html#ChangA83}, year = 1983 }