Automated constraint-based addition of nonmasking and stabilizing fault-tolerance

Fuad Abujarad, Sandeep S. Kulkarni. Automated constraint-based addition of nonmasking and stabilizing fault-tolerance. Theoretical Computer Science, 412(33):4228-4246, 2011. [doi]

Abstract

Abstract is missing.