%0 Conference Paper %1 conf/aspdac/HuhnFWD17 %A Huhn, Sebastian %A Frehse, Stefan %A Wille, Robert %A Drechsler, Rolf %B ASP-DAC %D 2017 %I IEEE %K dblp %P 182-187 %T Enhancing robustness of sequential circuits using application-specific knowledge and formal methods. %U http://dblp.uni-trier.de/db/conf/aspdac/aspdac2017.html#HuhnFWD17 %@ 978-1-5090-1558-0

@inproceedings{conf/aspdac/HuhnFWD17, added-at = {2019-06-02T00:00:00.000+0200}, author = {Huhn, Sebastian and Frehse, Stefan and Wille, Robert and Drechsler, Rolf}, biburl = {https://www.bibsonomy.org/bibtex/2d3c1271fe27e2ae8ff292cbb92c660e9/dblp}, booktitle = {ASP-DAC}, crossref = {conf/aspdac/2017}, ee = {https://www.wikidata.org/entity/Q59241979}, interhash = {9272b14a1c0e8d81c72817d9db34915f}, intrahash = {d3c1271fe27e2ae8ff292cbb92c660e9}, isbn = {978-1-5090-1558-0}, keywords = {dblp}, pages = {182-187}, publisher = {IEEE}, timestamp = {2019-10-17T16:44:03.000+0200}, title = {Enhancing robustness of sequential circuits using application-specific knowledge and formal methods.}, url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac2017.html#HuhnFWD17}, year = 2017 }