ByNobleID
    Necessary and sufficient conditions for the existence of totally self-checking circuits | NobleID