TY - RPRT TI - Fault tolerant sequential circuits using sequence invariant state machines AU - Alahmad, M. AU - Whitaker, S. PY - 1991 UR - https://ntrs.nasa.gov/citations/19940013871 ID - 19940013871 ER -