Niels Thole, Lorena Anghel, Görschwin Fey. A hybrid algorithm to conservatively check the robustness of circuits. In 21th IEEE European Test Symposium, ETS 2016, Amsterdam, Netherlands, May 23-27, 2016. pages 1-2, IEEE, 2016. [doi]
Abstract is missing.