A Synthesis Tool for Fault-Tolerant Finite State Machines

RĂ©gis Leveugle, R. Rochet, Gabriele Saucier, L. Martinez, C. Pitot. A Synthesis Tool for Fault-Tolerant Finite State Machines. In FTCS. pages 502-511, 1993.

Abstract

Abstract is missing.