%0 Conference Paper %1 conf/dac/KrautzPAKPB14 %A Krautz, Udo %A Paruthi, Viresh %A Arunagiri, Anand %A Kumar, Sujeet %A Pujar, Shweta %A Babinsky, Tina %B DAC %D 2014 %I ACM %K dblp %P 151:1-151:6 %T Automatic Verification of Floating Point Units. %U http://dblp.uni-trier.de/db/conf/dac/dac2014.html#KrautzPAKPB14 %@ 978-1-4503-2730-5

@inproceedings{conf/dac/KrautzPAKPB14, added-at = {2018-11-06T00:00:00.000+0100}, author = {Krautz, Udo and Paruthi, Viresh and Arunagiri, Anand and Kumar, Sujeet and Pujar, Shweta and Babinsky, Tina}, biburl = {https://www.bibsonomy.org/bibtex/258eafd276d2de45b13f0bf1383dbf347/dblp}, booktitle = {DAC}, crossref = {conf/dac/2014}, ee = {https://doi.org/10.1145/2593069.2593096}, interhash = {625b7702466a06d61d8bfabb5e5770b1}, intrahash = {58eafd276d2de45b13f0bf1383dbf347}, isbn = {978-1-4503-2730-5}, keywords = {dblp}, pages = {151:1-151:6}, publisher = {ACM}, timestamp = {2018-11-07T15:14:38.000+0100}, title = {Automatic Verification of Floating Point Units.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2014.html#KrautzPAKPB14}, year = 2014 }