Basic Properties and a Construction Method for Fail-Safe Logical Systems

Hisashi Mine, Yoshihaki Koga. Basic Properties and a Construction Method for Fail-Safe Logical Systems. IEEE Transactions on Computers, 16(3):282-289, 1967. [doi]

Abstract

Abstract is missing.