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]
No reviews for this publication, yet.