Görschwin Fey, André Sülflow, Stefan Frehse, Rolf Drechsler. Automatische formale Verifikation der Fehlertoleranz von Schaltkreisen (Automated Formal Verification of Fault Tolerance for Circuits). it - Information Technology, 52(4):216-223, 2010. [doi]
@article{FeySFD10,
title = {Automatische formale Verifikation der Fehlertoleranz von Schaltkreisen (Automated Formal Verification of Fault Tolerance for Circuits)},
author = {Görschwin Fey and André Sülflow and Stefan Frehse and Rolf Drechsler},
year = {2010},
doi = {10.1524/itit.2010.0594},
url = {http://dx.doi.org/10.1524/itit.2010.0594},
researchr = {https://researchr.org/publication/FeySFD10},
cites = {0},
citedby = {0},
journal = {it - Information Technology},
volume = {52},
number = {4},
pages = {216-223},
}