Matthias Sauer, Bernd Becker, Ilia Polian. PHAETON: A SAT-Based Framework for Timing-Aware Path Sensitization. IEEE Transactions on Computers, 65(6):1869-1881, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.