%0 Conference Paper %1 conf/date/KrautzP0TWV06 %A Krautz, Udo %A Pflanz, Matthias %A Jacobi, Christian %A Tast, Hans-Werner %A Weber, Kai %A Vierhaus, Heinrich Theodor %B DATE %D 2006 %E Gielen, Georges G. E. %I European Design and Automation Association, Leuven, Belgium %K %P 176-181 %T Evaluating coverage of error detection logic for soft errors using formal methods. %U http://dblp.uni-trier.de/db/conf/date/date2006p.html#KrautzP0TWV06 %@ 3-9810801-1-4

@inproceedings{conf/date/KrautzP0TWV06, added-at = {2023-12-12T19:52:19.000+0100}, author = {Krautz, Udo and Pflanz, Matthias and Jacobi, Christian and Tast, Hans-Werner and Weber, Kai and Vierhaus, Heinrich Theodor}, biburl = {https://www.bibsonomy.org/bibtex/20871bedf9984ad07f321bc2803a12dc1/admin}, booktitle = {DATE}, crossref = {conf/date/2006p}, editor = {Gielen, Georges G. E.}, ee = {http://dl.acm.org/citation.cfm?id=1131534}, interhash = {272e3c9e3682289880ceffa305a9f5bb}, intrahash = {0871bedf9984ad07f321bc2803a12dc1}, isbn = {3-9810801-1-4}, keywords = {}, pages = {176-181}, publisher = {European Design and Automation Association, Leuven, Belgium}, timestamp = {2023-12-12T19:52:19.000+0100}, title = {Evaluating coverage of error detection logic for soft errors using formal methods.}, url = {http://dblp.uni-trier.de/db/conf/date/date2006p.html#KrautzP0TWV06}, year = 2006 }