%0 Conference Paper %1 conf/dac/DevadasKMW92 %A Devadas, Srinivas %A Keutzer, Kurt %A Malik, Sharad %A Wang, Albert R. %B DAC %D 1992 %K dblp %P 549-555 %T Certified Timing Verification and the Transition Delay of a Logic Circuit. %U http://dblp.uni-trier.de/db/conf/dac/dac92.html#DevadasKMW92

@inproceedings{conf/dac/DevadasKMW92, added-at = {2015-05-04T00:00:00.000+0200}, author = {Devadas, Srinivas and Keutzer, Kurt and Malik, Sharad and Wang, Albert R.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27b551f53092b043dcab129befc40e3ff/dblp}, booktitle = {DAC}, ee = {http://portal.acm.org/citation.cfm?id=113938.149628}, interhash = {cbb9fb8b36312889d91af10919a49e80}, intrahash = {7b551f53092b043dcab129befc40e3ff}, keywords = {dblp}, pages = {549-555}, timestamp = {2016-02-02T10:56:22.000+0100}, title = {Certified Timing Verification and the Transition Delay of a Logic Circuit.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac92.html#DevadasKMW92}, year = 1992 }