%0 Conference Paper %1 conf/ahs/BernardeschiCD13 %A Bernardeschi, Cinzia %A Cassano, Luca %A Domenici, Andrea %B AHS %D 2013 %I IEEE %K dblp %P 209-216 %T Formal approaches to SEU testing in FPGAs. %U http://dblp.uni-trier.de/db/conf/ahs/ahs2013.html#BernardeschiCD13

@inproceedings{conf/ahs/BernardeschiCD13, added-at = {2018-11-02T00:00:00.000+0100}, author = {Bernardeschi, Cinzia and Cassano, Luca and Domenici, Andrea}, biburl = {https://www.bibsonomy.org/bibtex/2ab01d37cdaf1211e885de0139c48b246/dblp}, booktitle = {AHS}, crossref = {conf/ahs/2013}, ee = {https://doi.org/10.1109/AHS.2013.6604248}, interhash = {20c125499d31c03ce4cbfde35ee0adf4}, intrahash = {ab01d37cdaf1211e885de0139c48b246}, keywords = {dblp}, pages = {209-216}, publisher = {IEEE}, timestamp = {2018-11-03T13:55:46.000+0100}, title = {Formal approaches to SEU testing in FPGAs.}, url = {http://dblp.uni-trier.de/db/conf/ahs/ahs2013.html#BernardeschiCD13}, year = 2013 }