共 5 条
[1]
BASIC PROPERTIES AND A CONSTRUCTION METHOD FOR FAIL-SAFE LOGICAL SYSTEMS
[J].
IEEE TRANSACTIONS ON ELECTRONIC COMPUTERS,
1967, EC16 (03)
:282-&