%0 Conference Paper %1 conf/dsd/UbarKR12 %A Ubar, Raimund %A Kostin, Sergei %A Raik, Jaan %B DSD %D 2012 %I IEEE Computer Society %K dblp %P 427-430 %T How to Prove that a Circuit is Fault-Free? %U http://dblp.uni-trier.de/db/conf/dsd/dsd2012.html#UbarKR12 %@ 978-1-4673-2498-4

@inproceedings{conf/dsd/UbarKR12, added-at = {2023-03-23T00:00:00.000+0100}, author = {Ubar, Raimund and Kostin, Sergei and Raik, Jaan}, biburl = {https://www.bibsonomy.org/bibtex/24375e40fa7bc25011713694fbbfa7aaa/dblp}, booktitle = {DSD}, crossref = {conf/dsd/2012}, ee = {https://doi.ieeecomputersociety.org/10.1109/DSD.2012.75}, interhash = {c152d0c3b10e4ec14f9a6b7293133124}, intrahash = {4375e40fa7bc25011713694fbbfa7aaa}, isbn = {978-1-4673-2498-4}, keywords = {dblp}, pages = {427-430}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:12:00.000+0200}, title = {How to Prove that a Circuit is Fault-Free?}, url = {http://dblp.uni-trier.de/db/conf/dsd/dsd2012.html#UbarKR12}, year = 2012 }