%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 dblp %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-03-23T00:00:00.000+0100}, author = {Volkova, Anastasia and Lauter, Christoph Quirin and Hilaire, Thibault}, biburl = {https://www.bibsonomy.org/bibtex/266d380bd3394ab27b3ac51ad8ee8c9cd/dblp}, booktitle = {ARITH}, crossref = {conf/arith/2017}, editor = {Burgess, Neil and Bruguera, Javier D. and de Dinechin, Florent}, ee = {https://doi.ieeecomputersociety.org/10.1109/ARITH.2017.9}, interhash = {92de5d22d7455c0f4d8cdf96c7a4d4d6}, intrahash = {66d380bd3394ab27b3ac51ad8ee8c9cd}, isbn = {978-1-5386-1965-0}, keywords = {dblp}, pages = {180-187}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:32:51.000+0200}, title = {Reliable Verification of Digital Implemented Filters Against Frequency Specifications.}, url = {http://dblp.uni-trier.de/db/conf/arith/arith2017.html#VolkovaLH17}, year = 2017 }