Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance

Sandeep S. Kulkarni, Ali Ebnenasir. Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance. IEEE Trans. Dependable Sec. Comput., 2(3):201-215, 2005. [doi]

Abstract

Abstract is missing.