Title: Computer logic redundancy in nuclear reactor safety shutdown circuits
Subjects: Nuclear physics