%0 Conference Paper %1 conf/arith/VolkovaLH17 %A Volkova, Anastasia %A Lauter, Christoph Quirin %A Hilaire, Thibault %B ARITH %D 2017 %E Burgess, Neil %E Bruguera, Javier D. %E de Dinechin, Florent %I IEEE Computer Society %K %P 180-187 %T Reliable Verification of Digital Implemented Filters Against Frequency Specifications. %U http://dblp.uni-trier.de/db/conf/arith/arith2017.html#VolkovaLH17 %@ 978-1-5386-1965-0

@inproceedings{conf/arith/VolkovaLH17, added-at = {2023-12-13T04:10:49.000+0100}, author = {Volkova, Anastasia and Lauter, Christoph Quirin and Hilaire, Thibault}, biburl = {https://www.bibsonomy.org/bibtex/266d380bd3394ab27b3ac51ad8ee8c9cd/admin}, booktitle = {ARITH}, crossref = {conf/arith/2017}, editor = {Burgess, Neil and Bruguera, Javier D. and de Dinechin, Florent}, ee = {http://doi.ieeecomputersociety.org/10.1109/ARITH.2017.9}, interhash = {92de5d22d7455c0f4d8cdf96c7a4d4d6}, intrahash = {66d380bd3394ab27b3ac51ad8ee8c9cd}, isbn = {978-1-5386-1965-0}, keywords = {}, pages = {180-187}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T04:10:49.000+0100}, title = {Reliable Verification of Digital Implemented Filters Against Frequency Specifications.}, url = {http://dblp.uni-trier.de/db/conf/arith/arith2017.html#VolkovaLH17}, year = 2017 }