%0 Conference Paper %1 conf/tacas/CoxSC12 %A Cox, Arlen %A Sankaranarayanan, Sriram %A Chang, Bor-Yuh Evan %B TACAS %D 2012 %E Flanagan, Cormac %E König, Barbara %I Springer %K dblp %P 33-47 %T A Bit Too Precise? Bounded Verification of Quantized Digital Filters. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2012.html#CoxSC12 %V 7214 %@ 978-3-642-28755-8

@inproceedings{conf/tacas/CoxSC12, added-at = {2019-09-06T00:00:00.000+0200}, author = {Cox, Arlen and Sankaranarayanan, Sriram and Chang, Bor-Yuh Evan}, biburl = {https://www.bibsonomy.org/bibtex/2039da89092343bdf2d73bfba2f1e63a0/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2012}, editor = {Flanagan, Cormac and König, Barbara}, ee = {https://doi.org/10.1007/978-3-642-28756-5_4}, interhash = {4e9ff7143a1f36a932b82f955e5bedb2}, intrahash = {039da89092343bdf2d73bfba2f1e63a0}, isbn = {978-3-642-28755-8}, keywords = {dblp}, pages = {33-47}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-07T11:41:49.000+0200}, title = {A Bit Too Precise? Bounded Verification of Quantized Digital Filters.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2012.html#CoxSC12}, volume = 7214, year = 2012 }